diff options
author | Hisham Muhammad <hisham@gobolinux.org> | 2019-06-06 16:54:39 -0300 |
---|---|---|
committer | Hisham Muhammad <hisham@gobolinux.org> | 2019-06-06 16:56:47 -0300 |
commit | 7a6961500e815a51077c85064d7251eb3f706bfa (patch) | |
tree | 23993fe409ced6b13efd13f07f37620fa77cecf0 /mergerelease | |
parent | 40d0c22e28e7aa63045ba9f0c7a717cc453e5e2c (diff) | |
parent | a41588f984bec1010dddffd303c413f1b09c96a9 (diff) | |
download | luarocks-7a6961500e815a51077c85064d7251eb3f706bfa.tar.gz luarocks-7a6961500e815a51077c85064d7251eb3f706bfa.tar.bz2 luarocks-7a6961500e815a51077c85064d7251eb3f706bfa.zip |
Merge branch '3.1.3'
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 |