Makefile: Fixes to release checklist

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

diff --git a/Makefile b/Makefile
index b0ed09af646bba09ff3531eb1dc45d490099157a..c611c2af850b71874bf8296492ec0dffa3822d1b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -100,9 +100,10 @@ very-clean: clean
 # == commitment point ==
 #
 #   # merge into main, git push
-#   release-rust-crate VERSION
+#   release-rust-crate hippotat VERSION
 #   make publish publish-make-current PUBLISH_VERSION=1.1.1
 #   dgit -wgf push-source sid
+#   git-push --dry-run --follow-tags origin
 #
 #   release announcement on mailing list and/or blog post