-
Notifications
You must be signed in to change notification settings - Fork 698
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
regenerate bootstrap files without arch-native #10148
Conversation
@mergify backport master |
✅ Backports have been created
|
Would automatic forward port work properly for |
I think it's officially no longer supported for bootstrapping? Not sure how it's still on |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think it's fine to just delete the old bootstrap on master as a manual additional change to the forward port. We may have removed the old bootstrap with @ffaf1 (did we?) when releasing 3.12.0.0 in order to conserve our sanity. A couple of GHC versions is enough for bootstrapping (and we can generate more if users need them and tell us), so this old one can go.
Reminder, since the Mergify rules update hasn't been merged yet, this will need to be manually merged. The label's just for the record. |
Huh. I wish mergify would be consistent about whether it's going to merge or not. |
We did. |
regenerate bootstrap files without arch-native (backport #10148)
Template B: This PR does not modify behaviour or interface
E.g. the PR only touches documentation or tests, does refactorings, etc.
Include the following checklist in your PR: