Add name for CircleCI commits

2019-10-13 18:16:19 +02:00
parent f0060d10dd
commit e76a53adc8
1 changed files with 3 additions and 0 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -88,6 +88,9 @@ jobs:
      - image: circleci/python:3.7
    steps:
      - checkout
+      - run:
+          name: "Set Git name for commits"
+          command: git config --global user.name "CircleCI"
      - run:
          name: "Install Mkdocs and Material theme"
          command: |