aboutsummaryrefslogtreecommitdiff
path: root/devscripts
diff options
context:
space:
mode:
authorPhilipp Hagemeister <phihag@phihag.de>2013-10-18 23:34:55 +0200
committerPhilipp Hagemeister <phihag@phihag.de>2013-10-18 23:34:55 +0200
commitd5594202aa3a3601a88e4b04826816a4fb997c74 (patch)
treef4f0967e4a2433a47890a33f473a1be787562f27 /devscripts
parentb186d949cf9d1cd6b723113cbef393d58e87ea3c (diff)
Simplify release process
Diffstat (limited to 'devscripts')
-rwxr-xr-xdevscripts/release.sh4
1 files changed, 0 insertions, 4 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh
index 796468b4b..2766174c1 100755
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@@ -88,10 +88,6 @@ ROOT=$(pwd)
"$ROOT/devscripts/gh-pages/update-sites.py"
git add *.html *.html.in update
git commit -m "release $version"
- git show HEAD
- 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
)