I noticed that the output of
git merge-base master HEAD was different on my local system than the CI system.
After some digging around I found something strange.
The commits on
$CIRCLE_BRANCH are exactly the same (which should not be the case as the feature branch is ahead of master when opening a pull request).
This can easily be verified by running the log command
git log -n1 master has the exact same output as ``git log -n1 $CIRCLE_BRANCH`
This leads to problems when running tools that compare changes to the master branch. (such as pronto).
The workaround is a hard reset on master:
git checkout master git reset --hard origin/master git checkout -