Updated comment to push a release tag

Signed-off-by: Marco Pracucci <[email protected]>

Author: pracucci

RELEASE.md

@@ -67,7 +67,7 @@ You can do the tagging on the commandline:
 ```bash
 $ tag=$(< VERSION)
 $ git tag -s "v${tag}" -m "v${tag}"
-$ git push --tags
+$ git push origin "v${tag}"
 ```
 
 Signing a tag with a GPG key is appreciated, but in case you can't add a GPG key to your Github account using the following [procedure](https://help.github.com/articles/generating-a-gpg-key/), you can replace the `-s` flag by `-a` flag of the `git tag` command to only annotate the tag without signing.