From: Ken Hornstein <kenh@pobox.com>
Date: Wed, 16 Apr 2014 15:46:55 +0000 (-0400)
Subject: Sigh.  Mention that we have to do both a "git push" and a "git push --tags".
X-Git-Url: https://diplodocus.org/git/nmh/commitdiff_plain/2bd2ea37d43ab626c0139f1fc4d0bdfb23970b03?ds=inline;hp=4c3e318359b95628f68757f834bad40e36320a2f

Sigh.  Mention that we have to do both a "git push" and a "git push --tags".
---

diff --git a/docs/README.developers b/docs/README.developers
index 5ab014ab..ec0b29d7 100644
--- a/docs/README.developers
+++ b/docs/README.developers
@@ -225,7 +225,9 @@ here; the convention for release candidates is to use something like
     convention here is to use VERSION+dev as the version number).
 
     % echo 1.5+dev > VERSION
-    % git commit VERSION; git push --tags
+    % git commit VERSION
+    % git push
+    % git push --tags
 
     Then do:
 
@@ -237,7 +239,7 @@ here; the convention for release candidates is to use something like
     % date +"%e %B %Y" > DATE
     (DATE should contain something like "30 December 2000")
 
- 3. % git commit VERSION DATE
+ 3. % git commit VERSION DATE; git push
 
  4. % git tag -a 1.5 -m 'Releasing nmh-1.5.'
     % git push --tags