Update publicationlist by bot

support/commitPub.sh

+#!/usr/bin/env bash
+[ -z "$TRAVIS" ] && exit 1 || echo "skip commit. Travis environment variable not set."
+gpg --import bibbot.asc
+git config --global user.email "bibbot@ckurs.de"
+git config --global user.name "BibBot"
+git config --global user.signingkey "1617C27854592471"
+git commit -S -m "Update publication list" docs/publist.html
+git remote add http https://${GITHUB_TOKEN}@github.com/ag-gipp/bib.git
+git push http HEAD:$TRAVIS_BRANCH
+exit 1

support/compile.sh

@@ -8,3 +8,4 @@ cp allRefs.pdf ../../main.pdf
 cd ../..
 python3 support/issue.py
 support/pubHtml
+git diff -w docs/publist.html --exit-code || support/commitPub.sh