Skip to content

rubocop: Add types for extractors#1013

Merged
github-actions[bot] merged 1 commit intoruby:mainfrom
tk0miya:rubocop/extractors
Mar 23, 2026
Merged

rubocop: Add types for extractors#1013
github-actions[bot] merged 1 commit intoruby:mainfrom
tk0miya:rubocop/extractors

Conversation

@tk0miya
Copy link
Contributor

@tk0miya tk0miya commented Mar 22, 2026

Add types to RuboCop::Runner.ruby_extractors and related modules.

@github-actions
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

rubocop-ast

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

@kozy4324, 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.


rubocop

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

@kozy4324, 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.

@tk0miya tk0miya force-pushed the rubocop/extractors branch from c690b70 to edb7ed6 Compare March 22, 2026 18:08
Add types to RuboCop::Runner.ruby_extractors and related modules.
@tk0miya tk0miya force-pushed the rubocop/extractors branch from edb7ed6 to 398f6d4 Compare March 22, 2026 18:20
Copy link
Contributor

@kozy4324 kozy4324 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

APPROVE

@github-actions
Copy link

Thanks for your review, @kozy4324!

@tk0miya, @kozy4324 This PR is ready to be merged.
Just comment /merge to merge this PR.

@kozy4324
Copy link
Contributor

/merge

@github-actions github-actions bot merged commit 05072d1 into ruby:main Mar 23, 2026
6 checks passed
@tk0miya
Copy link
Contributor Author

tk0miya commented Mar 23, 2026

Thank you for reviewing!

@tk0miya tk0miya deleted the rubocop/extractors branch March 23, 2026 02:29
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