diff --git a/do-release.sh b/do-release.sh index 7758ea8d12..89c7c45bad 100755 --- a/do-release.sh +++ b/do-release.sh @@ -177,7 +177,7 @@ git commit -a -m "Prepare pmd release ${RELEASE_VERSION}" changes=$(git status --porcelain 2>/dev/null| grep -c -E "^[AMDRC]") if [ "$changes" -gt 0 ]; then echo "Committing current changes (pmd.github.io)" - git commit -a -m "Prepare pmd release ${RELEASE_VERSION}" && git push + git commit -a -m "Prepare pmd release ${RELEASE_VERSION}" fi ) @@ -322,6 +322,16 @@ tweet="${tweet//$'\n'/%0A}" echo "* Tweet about this release on https://twitter.com/pmd_analyzer:" echo " " echo +echo +echo "Now waiting for the release to be finished..." +echo "Press enter, to continue to push pmd.github.io changes" +read -r + +( + cd ../pmd.github.io + git push +) + echo "------------------------------------------" echo "Done." echo "------------------------------------------"