merge-release.sh (366B)
1 #!/usr/bin/env bash
2
3 if (( $# < 1 ));
4 then
5 echo "USAGE: ./merge-release.sh 0.76.0"
6 exit 1
7 fi
8
9 die() { echo "$*" 1>&2 ; exit 1; }
10
11 v=$1
12 git merge "release-${v}" || die;
13 git push || die;
14
15 git checkout stable || die;
16 git reset --hard "v${v}" || die;
17 git push -f || die;
18
19 git checkout master || die;
20
21 git subtree push --prefix=docs/ docs-local "tempv${v}";
22
23