From 358b0822714c4b44300095abc59467ef30908e1e Mon Sep 17 00:00:00 2001 From: Stanislav Zhuk Date: Tue, 19 May 2026 21:32:21 +0300 Subject: [PATCH] fix(ci): push detached HEAD to history ref and drop worktree cleanup - Push via HEAD:history so the push works from a detached HEAD worktree - Remove the git worktree remove call: the runner discards /tmp anyway Co-Authored-By: Claude Sonnet 4.6 --- .github/workflows/deploy-to-github-pages.yml | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/workflows/deploy-to-github-pages.yml b/.github/workflows/deploy-to-github-pages.yml index babbb072..8e3b8afb 100644 --- a/.github/workflows/deploy-to-github-pages.yml +++ b/.github/workflows/deploy-to-github-pages.yml @@ -176,17 +176,15 @@ jobs: LAST_MSG=$(git log -1 --pretty=%s) if echo "$LAST_MSG" | grep -q "snapshot ${SNAPSHOT_DATE}"; then git commit --amend --no-edit - git push origin history --force-with-lease + git push origin HEAD:history --force-with-lease else git commit -m "chore(add-ons): snapshot ${SNAPSHOT_DATE}" - git push origin history + git push origin HEAD:history fi else echo "No changes to commit" fi - git worktree remove /tmp/history-worktree - # Build job build: runs-on: ubuntu-latest