Fail build if code branches have not been pushed #11
Description
When working on code branches and a script at the same time, it's easy to forget to push your local code branch.
We need a way to fail the build if the unrolled code on master is different to the code in the corresponding code branch, just as a safety mechanism, to prevent code branches here on GitHub being left out of date.