diff options
Diffstat (limited to 'mergerelease')
-rwxr-xr-x | mergerelease | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mergerelease b/mergerelease index 3288eae2..e7c9c768 100755 --- a/mergerelease +++ b/mergerelease | |||
@@ -18,7 +18,7 @@ git show origin v$v &> /dev/null || { | |||
18 | echo "There is no pushed tag v$v in origin." | 18 | echo "There is no pushed tag v$v in origin." |
19 | echo | 19 | echo |
20 | echo "Before running this, make sure branch is tagged:" | 20 | echo "Before running this, make sure branch is tagged:" |
21 | echo " git tag -s v$v" | 21 | echo " git tag -s v$v $v -m 'Release $v'" |
22 | echo " git push origin v$v" | 22 | echo " git push origin v$v" |
23 | echo | 23 | echo |
24 | exit 1 | 24 | exit 1 |