add gh action to monitor homebrew repo #26498
Open
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
arezaii
force-pushed
the
monitor-homebrew-repo
branch
from
56bb7bf to
1646414
Compare
arezaii
force-pushed
the
monitor-homebrew-repo
branch
from
1646414 to
03a2580
Compare
Signed-off-by: Ahmad Rezaii <[email protected]>
arezaii
force-pushed
the
monitor-homebrew-repo
branch
from
03a2580 to
0594869
Compare
tzinsky
approved these changes
Jan 16, 2025
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds a github action to periodically or manually check the homebrew repo for updates they may have made to our chapel formula. Monitoring this allows us to keep the formula we test main against up to date with new changes the homebrew devs may make.
Currently this runs in a Jenkins job once per night, but just alerts us to the change and requires a user to create the PR. Doing it in a github action should allow the github bot to create the PR for us.
Future Work TODOs:
It might be nice to have another companion action that deletes branches created by this bot after they are merged.
We might want to notify some set of users if this action runs and finds an existing branch, as a reminder to merge the PR.