]> gitweb @ CieloNegro.org - youtube-dl.git/commitdiff
Simplify release process
authorPhilipp Hagemeister <phihag@phihag.de>
Fri, 18 Oct 2013 21:34:55 +0000 (23:34 +0200)
committerPhilipp Hagemeister <phihag@phihag.de>
Fri, 18 Oct 2013 21:34:55 +0000 (23:34 +0200)
devscripts/release.sh

index 796468b4b3aee3e603ddb919535bfde281cd71e5..2766174c1a8477519eb818f287897ebc93d04a72 100755 (executable)
@@ -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
 )