Makefile.in: Improve push rune in release checklist

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/Makefile.in b/Makefile.in
index eddefd443360b94ceebb3ab2e9db7c49a39bb329..c224a083fe41f09e4b704fe7c4fbd0921cae58b1 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -177,7 +177,7 @@ dist:
 #
 #  4. git-tag -m "secnet $VERSION" -s v$VERSION
 #
 #
 #  4. git-tag -m "secnet $VERSION" -s v$VERSION
 #

-#  5. git-push origin
+#  5. git-push origin v$VERSION v${VERSION}~0:master

 #
 #  6. Run, again,
 #       make dist
 #
 #  6. Run, again,
 #       make dist