Updates git user for workflow commits

Configures workflows to use the gittools-bot for automated commits.

Author: arturcic

.github/workflows/mkdocs.yml

@@ -47,8 +47,8 @@ jobs:
         name: Push changes
         run: |
           git add --verbose .
-          git config user.name 'Artur Stolear'
-          git config user.email 'artur.stolear@gmail.com'
+          git config user.name 'gittools-bot'
+          git config user.email 'gittoolsbot@outlook.com'
           git commit -m 'Docs changes' --allow-empty
           git push --force
         if: steps.status.outputs.has_changes == '1'

.github/workflows/public-api.yml

@@ -37,8 +37,8 @@ jobs:
         name: Push changes
         run: |
           git add --verbose .
-          git config user.name 'Artur Stolear'
-          git config user.email 'artur.stolear@gmail.com'
+          git config user.name 'gittools-bot'
+          git config user.email 'gittoolsbot@outlook.com'
           git commit -m 'Mark public API as shipped' --allow-empty
           git push --force
         if: steps.status.outputs.has_changes == '1'