From 09519cf6d47832447b2bce2dc212fe36554833a9 Mon Sep 17 00:00:00 2001 From: Pete Richards Date: Fri, 24 Jul 2015 17:07:49 -0700 Subject: [PATCH] [Continuous] Set commit author, fix grammar --- build-docs.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build-docs.sh b/build-docs.sh index bbb6d866af..ae47035f41 100755 --- a/build-docs.sh +++ b/build-docs.sh @@ -16,8 +16,8 @@ REMOTE_NAME="documentation" WEBSITE_BRANCH="gh-pages" # Configure github for CircleCI user. -git config --global user.email "buildbot@circleci.com" -git config --global user.name "BuildBot" +git config user.email "buildbot@circleci.com" +git config user.name "BuildBot" # clean output directory if [ -d $OUTPUT_DIRECTORY ]; then @@ -39,4 +39,4 @@ git commit -m "Generate docs from build $BUILD_SHA" echo "git push $REMOTE_NAME HEAD:$WEBSITE_BRANCH -f" git push $REMOTE_NAME HEAD:$WEBSITE_BRANCH -f -echo "Documentation pushed gh-pages branch." \ No newline at end of file +echo "Documentation pushed to gh-pages branch."