maint/README: git push --tags is done by push-to-public
diff --git a/maint/README b/maint/README
index 89f3555..8f3524d 100644
--- a/maint/README
+++ b/maint/README
@@ -9,10 +9,9 @@
 ssh-add ~/.ssh/id_korg
 
 maint/tag-release vX.Y.Z
-git push --tags
-
-maint/release
 
 maint/push-to-public
 
+maint/release
+
 Update progs/pciutils at Jabberwock.