From 804060444a81d0b5ac7dc159c829be5dfc5285e3 Mon Sep 17 00:00:00 2001 From: Joachim Wiberg Date: Fri, 26 Dec 2025 12:59:25 +0100 Subject: [PATCH] .github: fix deploy issue - We already have the SHA - Use 'git add -A' to handle deleted files too Signed-off-by: Joachim Wiberg --- .github/workflows/docs.yml | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 2500d756..af70535f 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -82,19 +82,18 @@ jobs: - name: Commit and push run: | - cd pages - + cd pages/ if [ -z "$(git status --porcelain)" ]; then exit 0 fi SRC_REPO="${GITHUB_REPOSITORY}" - SRC_REF="$(git -C .. rev-parse --short HEAD)" + SRC_REF="${GITHUB_SHA::7}" SRC_URL="https://github.com/${SRC_REPO}/commit/${SRC_REF}" git config user.name "GitHub Actions" git config user.email "actions@github.com" - git add . + git add -A git commit -m "docs: update from ${SRC_REPO}@${SRC_REF}" \ -m "For details, see ${SRC_URL}" git push