Simplify release process

11 years ago · d5594202aa
parent b186d949cf
commit d5594202aa
1 changed files with 0 additions and 4 deletions
--- 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
 )