Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Do not update base branches if the branch could not be deleted #1715

Merged
merged 1 commit into from
Sep 17, 2023

Conversation

eric-wieser
Copy link
Contributor

After someone made a PR from master to random-branch, bors tried to delete our master branch (which failed), but then re-targeted 200 of our open PRs against some random branch!

In this scenario, the branch deletion is forbidden by github; the intent in this change is to use this as a signal to not proceed with the re-targeting.

I'm working on the assumption that .delete_branch! throws an exception if it fails, but I'm not familiar with the language.

I understand that bors is EOL and so you might not want to spend time reviewing this.

After someone made a PR from `master` to `random-branch`, bors tried to delete our master branch (which failed), but then re-targeted 200 of our open PRs against some random branch!

In this scenario, the branch deletion is forbidden by github; the intent in this change is to use this as a signal to not proceed with the re-targeting.
@notriddle notriddle added this pull request to the merge queue Sep 17, 2023
Merged via the queue into bors-ng:master with commit 7b6d017 Sep 17, 2023
14 checks passed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants