From 885df9245dc70563e821c737cca0cacd17e7250b Mon Sep 17 00:00:00 2001
From: "Eric S. Raymond" <esr@thyrsus.com>
Date: Tue, 9 Oct 2012 07:33:30 -0400
Subject: [PATCH] Make sure in the release proces that git push is done before
 git push --tags.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0ebca2b..da28471 100644
--- a/Makefile
+++ b/Makefile
@@ -70,4 +70,4 @@ dist: irker-$(VERS).tar.gz
 
 release: irker-$(VERS).tar.gz irkerd.html irkerhook.html install.html security.html hacking.html
 	shipper -u -m -t; make clean
-	git push --tags
+	git push && git push --tags
-- 
2.26.2