trigger documentation deployment automatically

Author: nicolaskruchten

.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}"