Fix development notes on how to publish a new release.

2017-03-21 20:16:01 +01:00
parent ef7ad4effa
commit 8850cf95e8
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
`@@ -69,4 +69,4 @@ Build a new release`

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

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