Skip to content

Conversation

tk0miya
Copy link
Contributor

@tk0miya tk0miya commented Aug 31, 2024

Copy link

@tk0miya 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

shoryuken

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.

@tk0miya tk0miya force-pushed the shoryuken/add_shoryuken_options branch from 9b6a643 to 88416fa Compare August 31, 2024 09:00
@tk0miya
Copy link
Contributor Author

tk0miya commented Aug 31, 2024

/merge

@github-actions github-actions bot merged commit 9d88935 into ruby:main Aug 31, 2024
3 checks passed
@tk0miya tk0miya deleted the shoryuken/add_shoryuken_options branch August 31, 2024 09:19
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.

1 participant