release doc fix

author: Julien "shaddai" Reveret 2016-07-29 11:24:06 +0200
committer: Julien "shaddai" Reveret 2016-07-29 11:24:06 +0200
commit: 729ccc0307badabc2723bbb9d0ee01247bb178e3 (patch)
tree: ff74a55bc4bbda72f0d8fb915d22b067f63291cb
parent: 510bd12ad053548303aa647a36504fe9a079de59 (diff)
1 files changed, 1 insertions, 1 deletions
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
 ```
author	Julien "shaddai" Reveret	2016-07-29 11:24:06 +0200
committer	Julien "shaddai" Reveret	2016-07-29 11:24:06 +0200
commit	729ccc0307badabc2723bbb9d0ee01247bb178e3 (patch)
tree	ff74a55bc4bbda72f0d8fb915d22b067f63291cb
parent	510bd12ad053548303aa647a36504fe9a079de59 (diff)

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:
33	```	33	```
34	$ git commit -am "my changes"	34	$ git commit -am "my changes"
35	$ git tag X.Y.Z	35	$ git tag X.Y.Z
36	$ git push	36	$ git push --tags
37	```	37	```
38		38