Sync tags to the repo after shipping.

diff --git a/Makefile b/Makefile
index 021b34570512772a36b4bdbf31d2490803476bf4..48d5dcbf879c026bdf6b173effc578ae2c2d8db5 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -70,3 +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 --all