aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/developer-release.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/developer-release.txt b/doc/developer-release.txt
index 1d38bae..2a998b9 100644
--- a/doc/developer-release.txt
+++ b/doc/developer-release.txt
@@ -7,7 +7,7 @@ release.
* Tag release in VCS, for example `git tag -a 4.2 -m "4.2"'
-* Push tag to VCS if needed, for example `git push --tags origin master'
+* Push tag to VCS if needed, for example `git push --tags origin "4.2"'
* Run make release