Skip to content

[stubsabot] Mark redis as obsolete since 5.0.0 - #10709

Closed
github-actions[bot] wants to merge 1 commit into
mainfrom
stubsabot/redis
Closed

github-actions[bot] wants to merge 1 commit into
mainfrom
stubsabot/redis

Conversation

@github-actions

@github-actions github-actions Bot commented Sep 13, 2023 •

Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot added the bot: stubsabot 🤖 Third-party stub updates by stubsabot 🤖 label Sep 13, 2023
@AlexWaygood
AlexWaygood marked this pull request as draft September 13, 2023 08:04
@AlexWaygood

Copy link
Copy Markdown
Member

Not yet; see the discussion in #10592

@Avasam

Avasam commented Aug 17, 2024

Copy link
Copy Markdown
Collaborator

Closed by #12426

@Avasam Avasam closed this Aug 17, 2024
@Avasam
Avasam deleted the stubsabot/redis branch August 17, 2024 17:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bot: stubsabot 🤖 Third-party stub updates by stubsabot 🤖 status: DO NOT MERGE

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants