Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add workflow script for repository management #520

Merged
merged 8 commits into from
Mar 18, 2024

Conversation

pocke
Copy link
Member

@pocke pocke commented Feb 6, 2024

This PR changes the gem ownership management.
The primary purpose is that the community manages RBS files for gems.

The design doc is here: https://hackmd.io/OBmj4M3tT8SOUXdGjKqntg
Read this document for details.

What

This PR adds GHA workflows to merge PR by contributors and gem reviewers themselves.

Why

Previously, I was the bottleneck of this repository. I needed to review and merge all PRs.
This PR changes the situation. It will achieve real community-driven RBS files. Any contributor can write RBS and become a maintainer without admin permission

How

The main feature is /merge comment command. The PR author or Gem Reviewer can trigger this command by commenting /merge on a PR. It checks the PR is ready to be merged, then merge the PR.

For former CODEOWNERS

I'll migrate the CODEOWNERS to another approach. In the new approach, they are called "Gem Reviewers".
You all will be removed from the collaborator of this repository. But your permissions will be migrated to the "Gem Reviewers" one.

The responsibilities have not changed. Thanks for maintaining gems continuously.
The reviewing procedure has small changes. See the CONTRIBUTING.md.

The main change is that a Gem Reviewer can merge a PR related to the maintained gem themselves. Previously, a code owner needed to wait for approval from the repository admin. You can manage RBSs more comfortably.

@pocke pocke force-pushed the Add_workflow_script_for_repository_management branch from e377948 to cd8b2cc Compare February 20, 2024 08:06
@pocke pocke force-pushed the Add_workflow_script_for_repository_management branch from 8e7a770 to 60fa4b2 Compare March 5, 2024 14:39
@pocke pocke marked this pull request as ready for review March 18, 2024 04:47
@ybiquitous
Copy link
Contributor

Oops. Is this error expected?

ruby: No such file or directory -- .github/workflows/pr_bot/changed_files.rb (LoadError)

https://github.com/ruby/gem_rbs_collection/actions/runs/8321546351/job/22767965381?pr=520#step:4:10

@pocke
Copy link
Member Author

pocke commented Mar 18, 2024

Oops. Is this error expected?

Yes, it's because this PR has not merged yet. The workflow loads the changed_files.rb file from the main branch, but it cannot find this file now because the file is committed only on this PR branch.

This error will be recovered after this PR is merged.

@ybiquitous
Copy link
Contributor

Got it! 👍🏼

@pocke pocke merged commit 96517fc into ruby:main Mar 18, 2024
3 of 4 checks passed
@pocke pocke deleted the Add_workflow_script_for_repository_management branch March 18, 2024 08:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants