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

automate git subtree-push pull requests #6032

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

ytmimi
Copy link
Contributor

@ytmimi ytmimi commented Jan 20, 2024

r? @calebcartwright

Here's an example of what the automated subtree-push PR looks like, and Here's a link to the GitHub Actions logs.

I want to note that PRs are still created even if there are issues creating the merge commit. In those cases one of us would just need to manually fix the merge conflicts and bump the toolchain. Here's an example of what the PR might look like when the merge fails for any reason, and here are the associated logs. I believe this one failed because of git history issues that I fixed 😁.

I've got this setup as a manual trigger right now. I figure it would be best to run it manually a few times and try to work out any kinks, and if things are working well we can consider running this on a cron schedule.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants