From d5594202aa3a3601a88e4b04826816a4fb997c74 Mon Sep 17 00:00:00 2001
From: Philipp Hagemeister <phihag@phihag.de>
Date: Fri, 18 Oct 2013 23:34:55 +0200
Subject: Simplify release process

---
 devscripts/release.sh | 4 ----
 1 file changed, 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
 )
-- 
cgit v1.2.3