Push new release branch:
1. Consider sending a heads-up to the ninja-build mailing list first
-2. update src/version.cc with new version (with ".git"), commit to master
+2. update src/version.cc with new version (with ".git"), then
+ git commit -a -m 'mark this 1.5.0.git'
3. git checkout release; git merge master
4. fix version number in src/version.cc (it will likely conflict in the above)
5. fix version in doc/manual.asciidoc
6. commit, tag, push (don't forget to push --tags)
+ git commit -a -m v1.5.0
+ git tag v1.5.0
+ git push --tags
+ git checkout master
+ git push origin master # Push the 1.5.0.git change on master too
7. construct release notes from prior notes
credits: git shortlog -s --no-merges REV..