From aa2ada0a0099d5024fd171ef0fe0870b217c8a5e Mon Sep 17 00:00:00 2001
From: florian <contact@bunkerity.com>
Date: Tue, 2 May 2023 11:25:47 +0200
Subject: [PATCH] ci/cd - update git user/mail for push doc wf

---
 .github/workflows/push-doc.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/push-doc.yml b/.github/workflows/push-doc.yml
index e1982449e..9147b25cb 100644
--- a/.github/workflows/push-doc.yml
+++ b/.github/workflows/push-doc.yml
@@ -16,6 +16,10 @@ jobs:
     steps:
       - name: Checkout source code
         uses: actions/checkout@v3
+      - name: Setup git user
+        run: |
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "41898282+github-actions[bot]@users.noreply.github.com"
       - uses: actions/setup-python@v4
         with:
           python-version: '3.10'