git add -A
if ! git diff --cached --exit-code; then
echo "Changes have been detected, publishing to repo 'www.eclipse.org/${PROJECT_NAME}'"
git config user.email "${PROJECT_NAME}-bot@eclipse.org"
git config user.name "${PROJECT_BOT_NAME}"
git commit -m "Website build ${JOB_NAME}-${BUILD_NUMBER}"
git log --graph --abbrev-commit --date=relative -n 5
if [ "${BRANCH_NAME}" = "main" ]; then
git push origin HEAD:master
else
git push origin HEAD:${BRANCH_NAME}
fi
else
echo "No changes have been detected since last build, nothing to publish"
fi
![[Jenkins]](/opencert/static/219f6219/images/svgs/logo.svg){kind=logo}
