From 64a0c442ad9bae09f6a72ce3eb26b4c33503b91e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 15 May 2014 01:28:14 +0100
Subject: [PATCH] Makefile.in: Improve push rune in release checklist

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index eddefd4..c224a08 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -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
-- 
2.30.2