-
-
Notifications
You must be signed in to change notification settings - Fork 63
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
Handle race condition on PR merged #1030
Comments
Another user has the same issue: #1412 (comment) |
Publishing from the pull request head sounds like a pretty good solution, but if a minor release and a patch release were in the queue at the same time then the patch could end up temporarily rolled back. |
Another con of the |
This is a complex problem that probably different people want to solve in different ways 😅 |
Motivations
Asked here.
You can run into this situation:
@bors r+
on PR 20@bors r+
on PR 21@bors r+
on the release for PR 20, PR 22This means you tag and publish with PR 21 included which will be missing from the changelog, be unreviewed by the release manager, etc.
If your PRs are merged into
main
with merge-commits, then the commit with the version bump only has ancestors that are strictly those intended to go into that release.The publish happens on "PR 22 merge commit" which includes too much.
Solution
Instead of releasing from
main
we should find a way to dogit checkout "PR 22"
and do the publish on that.The text was updated successfully, but these errors were encountered: