trigger documentation deployment automatically

Author: nicolaskruchten

Diff for: .circleci/config.yml

@@ -464,6 +464,8 @@ jobs:
           name: trigger doc build
           command: |
             if [ "${CIRCLE_BRANCH}" == "doc-prod" ]; then
+              git config user.name nicolaskruchten
+              git config user.email [email protected]
               git clone --depth=1 --branch=source-design-merge https://github.com/plotly/documentation.git
               cd documentation
               git commit --allow-empty -m "deploying https://github.com/plotly/plotly.py/commit/${CIRCLE_SHA1}"