chiark / gitweb /
Makefile.in: Improve push rune in release checklist
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 May 2014 00:28:14 +0000 (01:28 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 15 May 2014 00:28:14 +0000 (01:28 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile.in

index eddefd4..c224a08 100644 (file)
@@ -177,7 +177,7 @@ dist:
 #
 #  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