diff options
Diffstat (limited to 'RELEASING')
| -rw-r--r-- | RELEASING | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -7,12 +7,13 @@ Push new release branch: git commit -am 'mark this 1.5.0.git' 4. git checkout release; git merge master 5. fix version number in src/version.cc (it will likely conflict in the above) -6. commit, tag, push (don't forget to push --tags) +6. fix version in doc/manual.asciidoc (exists only on release branch) +7. commit, tag, push (don't forget to push --tags) git commit -am 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 +8. construct release notes from prior notes credits: git shortlog -s --no-merges REV.. Release on github: |