From f5b9bc6db3e75031e19f0fc31aee184ef0632939 Mon Sep 17 00:00:00 2001
From: Bartlomiej Plotka <bwplotka@gmail.com>
Date: Wed, 18 Dec 2019 17:32:33 +0000
Subject: [PATCH] docs: Be more precise when pushing tags on release. (#6483)

Signed-off-by: Bartek Plotka <bwplotka@gmail.com>
---
 RELEASE.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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.