git add -A
if ! git diff --cached --exit-code; then
echo "Changes have been detected, publishing to repo 'www.eclipse.org/cognicrypt'"
git config --global user.email "cognicrypt-bot@eclipse.org"
git config --global user.name "Cognicrypt Bot"
git commit -m "Website build ${JOB_NAME}-${BUILD_NUMBER}"
git log --graph --abbrev-commit --date=relative -n 5
git push origin HEAD:master
else
echo "No change have been detected since last build, nothing to publish"
fi