| |
@@ -41,6 +41,9 @@
|
| |
cp -r docs/_build/html/* docs-on-pagure/
|
| |
cd docs-on-pagure
|
| |
git add -A .
|
| |
+ if [[ "$(git diff --cached --numstat | wc -l)" -eq 0 ]] ; then
|
| |
+ exit 0 # No changes, nothing to commit
|
| |
+ fi
|
| |
git commit -m 'Automatic commit of docs built by Jenkins job ${env.JOB_NAME} #${env.BUILD_NUMBER}'
|
| |
git push origin master
|
| |
"""
|
| |
@@ -157,7 +160,7 @@
|
| |
} catch (e) {
|
| |
if (ownership.job.ownershipEnabled) {
|
| |
mail to: ownership.job.primaryOwnerEmail,
|
| |
- cc: ownership.job.secondaryOwnerEmails.join(';'),
|
| |
+ cc: ownership.job.secondaryOwnerEmails.join(', '),
|
| |
subject: "Jenkins job ${env.JOB_NAME} #${env.BUILD_NUMBER} failed",
|
| |
body: "${env.BUILD_URL}\n\n${e}"
|
| |
}
|
| |