diff options
| -rw-r--r-- | doc/developer-release.txt | 2 |
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 |