diff --git a/RELEASE.md b/RELEASE.md index 2ed8bf23a4..a5ef88dbf1 100644 --- a/RELEASE.md +++ b/RELEASE.md @@ -77,7 +77,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.