Update email for pmd-bot

This commit is contained in:
Andreas Dangel
2017-08-18 09:45:15 +02:00
parent 0351b88c83
commit b3f76562a3
2 changed files with 3 additions and 3 deletions

View File

@ -11,7 +11,7 @@ function push_docs() {
if [ "$TRAVIS_BRANCH" == "master" ]; then if [ "$TRAVIS_BRANCH" == "master" ]; then
git config user.name "Travis CI (pmd-bot)" git config user.name "Travis CI (pmd-bot)"
git config user.email "adangel+pmd-bot@users.sourceforge.net" git config user.email "andreas.dangel+pmd-bot@adangel.org"
git add -A docs git add -A docs
git commit -m "Update documentation" git commit -m "Update documentation"
git push git@github.com:pmd/pmd.git HEAD:master git push git@github.com:pmd/pmd.git HEAD:master

View File

@ -55,8 +55,8 @@ mkdir pmd.github.io
( (
cd pmd.github.io cd pmd.github.io
git init git init
git config user.email "adangel+pmd-bot@users.sourceforge.net" git config user.name "Travis CI (pmd-bot)"
git config user.name "Andreas Dangel (PMD Releases)" git config user.email "andreas.dangel+pmd-bot@adangel.org"
git config core.sparsecheckout true git config core.sparsecheckout true
git remote add origin git@github.com:pmd/pmd.github.io.git git remote add origin git@github.com:pmd/pmd.github.io.git
echo "latest/" > .git/info/sparse-checkout echo "latest/" > .git/info/sparse-checkout