From d7e96eb5bf41dc5b4640dd2f3d4392d98222326e Mon Sep 17 00:00:00 2001
From: Thierry Vignaud <thierry.vignaud@gmail.com>
Date: Sat, 14 Sep 2013 14:43:28 +0200
Subject: push tag when tagging

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index e8c2acd..68421ab 100644
--- a/Makefile
+++ b/Makefile
@@ -53,5 +53,6 @@ dist: cleandist
 
 tag:
 	git tag $(TAG)
+	git push origin $(TAG)
 
 # Makefile ends here
-- 
cgit v1.2.1