Skip to content

Conversation

ksss
Copy link
Collaborator

@ksss ksss commented Jul 1, 2025

Bundled gems will be removed from the rbs repository.
Normally the definition of gem_rbs_collection should be used.

See also: ruby/rbs#2258

Copy link

github-actions bot commented Jul 1, 2025

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

actionpack

You changed RBS files for an existing gem.
You can merge this PR yourself because you are a reviewer of this gem.
Just comment /merge to merge this PR.

You can also request a review from other reviewers if you want.


activesupport

You changed RBS files for an existing gem.
You can merge this PR yourself because you are a reviewer of this gem.
Just comment /merge to merge this PR.

You can also request a review from other reviewers if you want.


mysql2

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.


roo

You changed RBS files for an existing gem.
You need to get approval from the reviewers of this gem.

@sanfrecce-osaka, please review this pull request.
If this change is acceptable, please make a review comment including APPROVE from here.
Screen Shot 2024-03-19 at 14 13 36

After that, the PR author or the reviewers can merge this PR.
Just comment /merge to merge this PR.


yard

You changed RBS files for an existing gem.
You can merge this PR yourself because you are a reviewer of this gem.
Just comment /merge to merge this PR.

You can also request a review from other reviewers if you want.

Bundled gems will be removed from the rbs repository.
Normally the definition of gem_rbs_collection should be used.
@ksss ksss force-pushed the drop-bundled-gems-in-manifest-yaml branch from 5fd2158 to ed883fc Compare July 2, 2025 01:23
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