From d5594202aa3a3601a88e4b04826816a4fb997c74 Mon Sep 17 00:00:00 2001 From: Philipp Hagemeister Date: Fri, 18 Oct 2013 23:34:55 +0200 Subject: [PATCH] Simplify release process --- devscripts/release.sh | 4 ---- 1 file changed, 4 deletions(-) diff --git a/devscripts/release.sh b/devscripts/release.sh index 796468b4b3..2766174c1a 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 )