From 84dc9b07bf06855cc08ea10932eba29aab84d4cc Mon Sep 17 00:00:00 2001 From: Michael Chihlas Date: Fri, 29 May 2026 13:24:31 -0400 Subject: [PATCH] chore(ci): mirror to GitHub with --mirror so deletes propagate MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Today's cleanup surfaced 14 branches that existed on GitHub but had been deleted on Gitea — the previous `--all --force` + `--tags --force` pair pushes refs but never deletes missing ones, so the mirror drifted over time. Switching to `git push --mirror` (equivalent to --all --tags --prune --force) makes the GitHub side a true reflection of Gitea: branch and tag deletes propagate automatically. Co-Authored-By: Claude Opus 4.7 --- .gitea/workflows/mirror-to-github.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.gitea/workflows/mirror-to-github.yml b/.gitea/workflows/mirror-to-github.yml index 603bd48f..1c355a7a 100644 --- a/.gitea/workflows/mirror-to-github.yml +++ b/.gitea/workflows/mirror-to-github.yml @@ -15,5 +15,4 @@ jobs: git clone --mirror https://gitea.resolutionflow.com/chihlasm/resolutionflow.git repo cd repo git remote add github https://x-access-token:${{ secrets.GH_MIRROR_TOKEN }}@github.com/${{ secrets.GH_MIRROR_REPO }} - git push github --all --force - git push github --tags --force \ No newline at end of file + git push github --mirror \ No newline at end of file