Skip to content

Commit

Permalink
publish_doxygen: add --global to name and email
Browse files Browse the repository at this point in the history
  • Loading branch information
Andrew Elder committed Apr 28, 2016
1 parent f7d642a commit c6cd647
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions publish_doxygen.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ HTML_PATH=doc/public_lib
# Set the push default to simple i.e. push only the current branch.
git config --global push.default simple
# Pretend to be an user called Travis CI.
git config user.name "Travis CI"
git config user.email "travis@travis-ci.org"
git config --global user.name "Travis CI"
git config --global user.email "travis@travis-ci.org"

# Pull the HTML repo
mkdir -p ${BUILD_PATH}
Expand Down

0 comments on commit c6cd647

Please sign in to comment.