|
|
|
|
|
|
by throwaway858
1445 days ago
|
|
|
This can result in a broken master if there were new commits added to master since the pull request was submitted (but before it is merged). The solution is to require that all PR must be rebased/synced to master before they can be merged. GitHub has an option for enforcing this. The downside is that this often results in lots of re-running of tests. |
|
|