From 1eb123d944466ece1daea28a39cfca756a87d18e Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Fri, 5 Apr 2024 23:36:11 +0200
Subject: [PATCH] maint/README: git push --tags is done by push-to-public

---
 maint/README | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/maint/README b/maint/README
index 89f3555..8f3524d 100644
--- a/maint/README
+++ b/maint/README
@@ -9,10 +9,9 @@ Check version numbers in Makefile and lib/pci.h.
 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.
-- 
2.39.2