* "git branch -m" and "git checkout -b" incorrectly allowed the tip
of the branch that is currently checked out updated.
- (merge 55c4a67 ci/forbid-unwanted-current-branch-update later to 'maint').
-
---
-exec >/var/tmp/1
-echo O=$(git describe master)
-O=v1.7.7-rc3
-git log --first-parent --oneline $O..master
-echo
-git shortlog --no-merges ^maint ^$O master