[ci] Push to pmd.github.io only after the release

This commit is contained in:
Andreas Dangel 2024-03-22 08:02:52 +01:00
parent e57d26b31a
commit 097f45c294
No known key found for this signature in database
GPG Key ID: 93450DF2DF9A3FA3

View File

@ -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 " <https://twitter.com/intent/tweet?text=$tweet>"
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 "------------------------------------------"