-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Improved handling of PR merging (#22)
* This PR reduces the reliance on GitHub's automerge feature by adding improved handling of PR merging in the syncer. * If a PR exists the syncer will attempt to merge it and wait for it to merge this allows the syncer to push any changes that might be blocked on the pending PR * After creating a new PR with the latest changes the sycner will wait for the PR to be merged. This provides better handling in the case of dev takeover when automerge isn't (or can't be enabled) on the repository. There appears to be a bit of a race condition where the PR may not be merged right away even thought it should be immediately mergeable but this PR fixes that by having a retry loop that will wait for the PR to me merged and periodically retry merging * Fix #21 * Fix #17
- Loading branch information
Showing
7 changed files
with
116 additions
and
30 deletions.
There are no files selected for viewing
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
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
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
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
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
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
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