RELEASE.md: replace "git push --tags" with "git push origin v$VERSION"

This commit is contained in:
Alexander A. Klimov 2020-08-03 10:39:37 +02:00
parent 2648a82de0
commit 6d7b3725e8
1 changed files with 1 additions and 1 deletions

View File

@ -88,7 +88,7 @@ git tag -s -m "Version $VERSION" v$VERSION
Push the tag: Push the tag:
``` ```
git push --tags git push origin v$VERSION
``` ```
**For major releases:** Create a new `support` branch: **For major releases:** Create a new `support` branch: