diff options
| author | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 18:37:21 +0100 |
|---|---|---|
| committer | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 18:37:21 +0100 |
| commit | 3b83bf8f6a371d90da6157cf219954a666b926ce (patch) | |
| tree | ef8f3c68d95caaa434f0b85b190b6fda0de24b27 | |
| parent | 51719893bf57999182b45bcc7fc5520209a97605 (diff) | |
correct pushes in release script
| -rwxr-xr-x | devscripts/release.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index afd3fb16c..543634ce1 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -66,8 +66,8 @@ git clone --branch gh-pages --single-branch . build/gh-pages ROOT=$(pwd) ( set -e - cd build/gh-pages ORIGIN_URL=$(git config --get remote.origin.url) + cd build/gh-pages "$ROOT/devscripts/gh-pages/add-version.py" $version "$ROOT/devscripts/gh-pages/sign-versions.py" < "$ROOT/updates_key.pem" "$ROOT/devscripts/gh-pages/generate-download.py" @@ -78,6 +78,7 @@ ROOT=$(pwd) read -p "Is it good, can I push? (y/n) " -n 1 if [[ ! $REPLY =~ ^[Yy]$ ]]; then exit 1; fi echo + git push "$ROOT" gh-pages git push "$ORIGIN_URL" gh-pages ) rm -r build |