From 41ee01a26d896b078e11fcd85cc907e6845ab0c9 Mon Sep 17 00:00:00 2001
From: Thierry Vignaud <thierry.vignaud@gmail.com>
Date: Tue, 11 Feb 2014 18:16:05 +0100
Subject: (git) actually push tags

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

diff --git a/Makefile b/Makefile
index e3690d5..b5344e0 100644
--- a/Makefile
+++ b/Makefile
@@ -84,3 +84,4 @@ dist:
 
 tag:
 	git tag '$(VERSION)'
+	git push origin $(TAG)
-- 
cgit v1.2.1