This is a follow up of this question: Enforce up-to-date pull requests on GitHub
I\'d like to ensure that a branch is up to date (to master) before merging so that Gi