chore(ci): use --mirror so GitHub branch deletes propagate #192

Merged
chihlasm merged 3 commits from chore/mirror-prune-deletes into main 2026-05-29 18:21:30 +00:00
Showing only changes of commit d5d4405ac2 - Show all commits

View File

@@ -15,4 +15,8 @@ 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 --mirror
# --all + --tags scopes the push to refs/heads/* and refs/tags/*,
# avoiding refs/pull/* (which GitHub refuses with "deny updating a
# hidden ref"). --prune makes deletions on the Gitea side propagate.
git push github --all --prune --force
git push github --tags --prune --force