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

Milestone cargo PRs. #1751

Merged
merged 1 commit into from
Nov 22, 2023
Merged

Milestone cargo PRs. #1751

merged 1 commit into from
Nov 22, 2023

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Nov 22, 2023

This adds a step to the milestone trigger on rust-lang/rust to also milestone PRs in the cargo repo when the cargo submodule is updated. I have been manually running a script to do this for a few years, and I would like to stop needing to run it manually.

In terms of reviewing, the changes are roughly:

  • Moved the Issue::set_milestone code to separate GithubClient::get_or_create_milestone and GithubClient::set_milestone so that the milestones can be more easily and efficiently set in a batch (without needing an Issue object, and without querying for each PR).
  • milestone_prs now checks if the PR touches src/tools/cargo, and if it does, calls milestone_cargo to milestone every PR in the submodule update.
  • There is a new Repository::commits_in_range method for fetching commits within a SHA range. This is necessary to determine which PR each commit comes from.

I've done a little bit of testing, and it seems to work for master and beta updates, rollups, etc. However, I didn't do a full end-to-end test, since that would require receiving events from rust-lang/rust which I cannot do.

@ehuss ehuss merged commit d7df9ee into rust-lang:master Nov 22, 2023
2 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