diff options
| author | Mike Vink <mike@pionative.com> | 2025-02-03 21:29:42 +0100 |
|---|---|---|
| committer | Mike Vink <mike@pionative.com> | 2025-02-03 21:29:42 +0100 |
| commit | 5155816b7b925dec5d5feb1568b1d7ceb00938b9 (patch) | |
| tree | deca28ea15e79f6f804c3d90d2ba757881638af5 /mergerelease | |
Diffstat (limited to 'mergerelease')
| -rwxr-xr-x | mergerelease | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/mergerelease b/mergerelease new file mode 100755 index 0000000..e7c9c76 --- /dev/null +++ b/mergerelease @@ -0,0 +1,33 @@ +#!/bin/sh + +[ "$1" ] || { + echo "usage.....: $0 <release>" + echo "example...: $0 3.1.3" + echo + exit 1 +} + +v="$1" + +git show $v &> /dev/null || { + echo "There is no release branch $v" + exit 1 +} + +git show origin v$v &> /dev/null || { + echo "There is no pushed tag v$v in origin." + echo + echo "Before running this, make sure branch is tagged:" + echo " git tag -s v$v $v -m 'Release $v'" + echo " git push origin v$v" + echo + exit 1 +} + +git fetch --all +git checkout master +git diff master $v > version.diff +git merge --no-ff $v +patch -R -p1 < version.diff +git add luarocks-dev-1.rockspec +git commit -av --amend |
