Skip to content

Add Redis#with definition#961

Merged
github-actions[bot] merged 1 commit intoruby:mainfrom
bolshakov:feature/redis-with
Dec 29, 2025
Merged

Add Redis#with definition#961
github-actions[bot] merged 1 commit intoruby:mainfrom
bolshakov:feature/redis-with

Conversation

@bolshakov
Copy link
Contributor

@bolshakov bolshakov commented Dec 28, 2025

Add missing Redis#with signature

@github-actions
Copy link

@bolshakov Thanks for your contribution!

Please follow the instructions below for each change.
See also: https://github.com/ruby/gem_rbs_collection/blob/main/docs/CONTRIBUTING.md

Available commands

You can use the following commands by commenting on this PR.

  • /merge: Merge this PR if CI passes

redis

You changed RBS files for an existing gem.
This gem does not have reviewers. So you can merge this PR immediately if the CI passes.
We recommend you add yourself to the reviewers for this gem.

@ksss
Copy link
Collaborator

ksss commented Dec 29, 2025

@bolshakov LGTM
You can merge it yourself using /merge comment.

@bolshakov bolshakov changed the title Add Redis#with and Redis#then definitions Add Redis#with definition Dec 29, 2025
@bolshakov
Copy link
Contributor Author

/merge

@github-actions github-actions bot merged commit 8c8db14 into ruby:main Dec 29, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants