-
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.
autoupdate: fix: status of previous HEAD commit is evaluated after ba…
…se branch update (#109) When a Pull-Request was updated with it's base branch by the autoupdater, the GitHub Check status of the previous HEAD commit was evaluated. If the check status for it was negative, the PR was suspended wrongly. This PR fixes the issue. The autoupdater now also logs a warning message if a check status for a different commit then the current HEAD commit returned by the update operation was retrieved. This could happen if the branch is updated between the both API operations or GitHub returned old information (which can happen). The autoupdater is not able to handle the situation correctly.
- Loading branch information
Showing
9 changed files
with
142 additions
and
96 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
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
Oops, something went wrong.