Make sure in the release proces that git push is done before git push --tags.

diff --git a/Makefile b/Makefile
index 0ebca2b7d5468b658c72daff00b61a3541740817..da28471775169c90a224914a795b971d16c3d562 100644 (file)
--- 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