diff options
| author | Nico Weber <nicolasweber@gmx.de> | 2014-06-27 21:11:23 (GMT) |
|---|---|---|
| committer | Nico Weber <nicolasweber@gmx.de> | 2014-06-27 21:11:23 (GMT) |
| commit | cfde750a22568d8050f15880ec055ff93b783c32 (patch) | |
| tree | eb5cd1c9dc1d56838c2cc888ce64986242ab1dff | |
| parent | f561c87da6a64e4bf3f4beda922643d561546978 (diff) | |
| download | Ninja-cfde750a22568d8050f15880ec055ff93b783c32.zip Ninja-cfde750a22568d8050f15880ec055ff93b783c32.tar.gz Ninja-cfde750a22568d8050f15880ec055ff93b783c32.tar.bz2 | |
also note that branch release needs to be pushed
| -rw-r--r-- | RELEASING | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -8,11 +8,10 @@ Push new release branch: 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 + git commit -a -m v1.5.0; git push origin release + git tag v1.5.0; git push --tags + # Push the 1.5.0.git change on master too: + git checkout master; git push origin master 7. construct release notes from prior notes credits: git shortlog -s --no-merges REV.. |