From caa9620c3b0c2c4b6b826272e412be50f54a4eb8 Mon Sep 17 00:00:00 2001
From: Jean-Marie Mineau <jean-marie.mineau@inria.fr>
Date: Wed, 13 Mar 2024 17:48:17 +0100
Subject: [PATCH] add ci name

---
 .forgejo/workflows/publish.yaml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.forgejo/workflows/publish.yaml b/.forgejo/workflows/publish.yaml
index ae54551..3818b23 100644
--- a/.forgejo/workflows/publish.yaml
+++ b/.forgejo/workflows/publish.yaml
@@ -20,6 +20,8 @@ jobs:
       - run: |
           cd dist
           git init
+          git config user.email "ci_action@example.com"
+          git config user.name "CI"
           git remote add origin "${GITHUB_SERVER_URL}/${GITHUB_REPOSITORY}"
           TOKEN=$(echo -n "x-access-token:${GITHUB_TOKEN}" | base64)
           git -c http.extraHeader="Authorization: Basic ${TOKEN}" push origin -d pages