From f23c74d99d1e7245a6735930d406d44ae4ab3fea Mon Sep 17 00:00:00 2001
From: jvoisin
Date: Sun, 1 Apr 2012 13:01:39 +0200
Subject: Add tag push to release process

---
 RELEASE | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/RELEASE b/RELEASE
index c1b0568..7100898 100644
--- a/RELEASE
+++ b/RELEASE
@@ -10,6 +10,9 @@ commit release changes
 create a tag
     git tag -s $VERSION
 
+push the tag
+    git push --tags
+
 archive's creation :
     git archive --format=tar.gz --prefix=mat-$VERSION/ $VERSION > mat-$VERSION.tar.gz
 
-- 
cgit v1.3