Don't tag dev repo

bwipp · Jul 4, 2024 · 2571da7 · 2571da7
1 parent 1138ce3
commit 2571da7
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -299,7 +299,6 @@ tag:
 	@echo "git tag -s -F /dev/stdin `head -n1 CHANGES` <<'EOF'"
 	@echo "`awk -v 'RS=\n\n\n' -v 'FS=\n\n' '{print $$2;exit}' CHANGES`"
 	@echo EOF
-	@echo git push origin `head -n1 CHANGES`
 	@echo git push upstream `head -n1 CHANGES`
 
 YEAR:=$(shell date +%Y)