From c8ba4847d7022e5365046c69964174ea9d37ffca Mon Sep 17 00:00:00 2001 From: Asmir Avdicevic Date: Mon, 9 Feb 2026 13:15:39 +0100 Subject: [PATCH] fix: configure git identity in cleanup workflow --- .github/workflows/cleanup.yaml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/.github/workflows/cleanup.yaml b/.github/workflows/cleanup.yaml index d2a396e..c7938be 100644 --- a/.github/workflows/cleanup.yaml +++ b/.github/workflows/cleanup.yaml @@ -28,6 +28,8 @@ jobs: ref: generated-docs-preview - name: Clean docs branch run: | + git config user.name "github-actions[bot]" + git config user.email "github-actions[bot]@users.noreply.github.com" cd pr/ # keep the last 25 prs dirs=$(ls -1d [0-9]* | sort -n) @@ -37,5 +39,6 @@ jobs: echo "$dirs_to_remove" | xargs rm -rf fi git add . + git diff --cached --quiet && echo "Nothing to clean up" && exit 0 git commit -m "Cleanup old docs" git push \ No newline at end of file