| Push new release branch: |
| 1. make sure branches 'master' and 'release' are synced up locally |
| 2. update demumble.cc with new version (with ".git"), then |
| git commit -am 'mark this 1.0.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. commit, tag, push (don't forget to push --tags) |
| git commit -am v1.0.0; git push origin release |
| git tag v1.0.0; git push --tags |
| # Push the 1.0.0.git change on master too: |
| git checkout master; git push origin master |
| 6. add binaries to https://github.com/nico/demumble/releases |
| build them with `./dist.py` |