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