There were 2 recent cases that when people passed their PR (pull request) testing, and found their PR merge broke the build as another logically dependant PR merged right before. Such breakage could have been detected and avoided if the latest develop branch were merged into the PR branch before merging the PR. 

Use this ticket to investigate various solutions for avoiding build breakage caused by PR merge races. Possible solutions include:

• Defining the mergeability of pull requests (Github native)
• bulldozer (Github App)