From 74756a4df41a3c33e6992aa07d01db2951cf108c Mon Sep 17 00:00:00 2001
From: Piotr Icikowski <piotrekicikowski@gmail.com>
Date: Fri, 6 Jan 2023 00:37:28 +0100
Subject: [PATCH] fix(ci): add missing Git user details to dev docs workflow

---
 .github/workflows/docs.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 5338515..c07f8d0 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -23,5 +23,9 @@ jobs:
           python-version: 3.x
       - name: Prepare required Python packages
         run: task docs:requirements
+      - name: Set Git user details
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Build and deploy documentation
         run: task docs:deploy-dev