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
 ```

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