From 3c868a96b0bf1cc0725ef9be85841315fd68305e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 18 Dec 2022 23:11:46 +0000
Subject: [PATCH] Makefile: Fixes to release checklist

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

diff --git a/Makefile b/Makefile
index b0ed09a..c611c2a 100644
--- 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
 
-- 
2.30.2