Fix development notes on how to publish a new release.

2017-03-21 20:16:01 +01:00
parent 2f0eaeb5e0
commit a3036b4186
1 changed files with 1 additions and 1 deletions
@@ -69,4 +69,4 @@ Build a new release

 9. Send new version and tags to github origin. ::

-     $ git push origin master --tags
+     $ git push origin master --follow-tags