From 729ccc0307badabc2723bbb9d0ee01247bb178e3 Mon Sep 17 00:00:00 2001
From: Julien "shaddai" Reveret
Date: Fri, 29 Jul 2016 11:24:06 +0200
Subject: release doc fix

---
 RELEASE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASE.md b/RELEASE.md
index a1f67c0..48ad492 100644
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -33,6 +33,6 @@ Then you can commit on our git repository:
 ```
 $ git commit -am "my changes"
 $ git tag X.Y.Z
-$ git push
+$ git push --tags
 ```
 
-- 
cgit v1.3