aboutsummaryrefslogtreecommitdiff
path: root/mergerelease
diff options
context:
space:
mode:
authorHisham Muhammad <hisham@gobolinux.org>2019-06-06 16:54:39 -0300
committerHisham Muhammad <hisham@gobolinux.org>2019-06-06 16:56:47 -0300
commit7a6961500e815a51077c85064d7251eb3f706bfa (patch)
tree23993fe409ced6b13efd13f07f37620fa77cecf0 /mergerelease
parent40d0c22e28e7aa63045ba9f0c7a717cc453e5e2c (diff)
parenta41588f984bec1010dddffd303c413f1b09c96a9 (diff)
downloadluarocks-7a6961500e815a51077c85064d7251eb3f706bfa.tar.gz
luarocks-7a6961500e815a51077c85064d7251eb3f706bfa.tar.bz2
luarocks-7a6961500e815a51077c85064d7251eb3f706bfa.zip
Merge branch '3.1.3'
Diffstat (limited to 'mergerelease')
-rwxr-xr-xmergerelease2
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