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 master
and $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 -