Merge pull request #442 from dhermes/fix-user-and-email

Using both user name and email for gh-pages commits.

Author: dhermes

scripts/update_docs.sh

@@ -31,7 +31,8 @@ git status
 # H/T: https://github.com/dhermes
 if [[ -n "$(git status --porcelain)" ]]; then
     # Commit to gh-pages branch to apply changes.
-    git config user.name "selfiebot"
+    git config --global user.email "[email protected]"
+    git config --global user.name "travis-ci"
     git commit -m "Update docs after merge to master."
     git push \
         "https://${GH_OAUTH_TOKEN}@github.com/${GH_OWNER}/${GH_PROJECT_NAME}" \