Guard against race condition of PR being pushed to between notification and merge instruction

AArnott / pr-autocomplete-app

A GitHub App that adds auto-complete functionality to pull requests similar to that found in Azure Repos.

MIT License

4 stars 0 forks source link

Guard against race condition of PR being pushed to between notification and merge instruction #25

Open AArnott opened 4 years ago

AArnott commented 4 years ago

We should specify the sha parameter when merging the pull request so that the merge will not happen if the PR head branch was pushed to more recently than the notification we're responding to.