When finishing a hotfix branch, the commit history leaves the develop branch one commit ahead and behind the master branch.   