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 /RELEASING | |
parent | f561c87da6a64e4bf3f4beda922643d561546978 (diff) | |
download | Ninja-cfde750a22568d8050f15880ec055ff93b783c32.zip Ninja-cfde750a22568d8050f15880ec055ff93b783c32.tar.gz Ninja-cfde750a22568d8050f15880ec055ff93b783c32.tar.bz2 |
also note that branch release needs to be pushed
Diffstat (limited to 'RELEASING')
-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.. |