From 64b8d44248561b9eeaf27de7e8d4864e47986819 Mon Sep 17 00:00:00 2001
From: gggeek <giunta.gaetano@gmail.com>
Date: Sat, 7 Jan 2023 18:08:08 +0000
Subject: [PATCH] fix CD job missing git user info

---
 .github/workflows/cd.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/cd.yaml b/.github/workflows/cd.yaml
index 03dcc7e5..a1ae7614 100644
--- a/.github/workflows/cd.yaml
+++ b/.github/workflows/cd.yaml
@@ -7,7 +7,8 @@ on:
             - master
 
 jobs:
-    release:
+    # we could try to split in 2 jobs: one for docs and one for release, but the release one needs the asset from the docs one...
+    docs_and_release:
         runs-on: ubuntu-latest
         steps:
             -   name: checkout code
@@ -29,6 +30,9 @@ jobs:
                     files: |
                         src/**
 
+            -   name: set git credentials as user triggering the build
+                uses: fregante/setup-git-user@v1
+
             # build and upload api docs
             # NB: this happens independently of releases!
             -   name: generate and upload api docs
-- 
2.47.0