Merge PR #192: chore(ci): mirror with --prune so GitHub branch deletes propagate
All checks were successful
CI / frontend (push) Successful in 6m50s
Mirror to GitHub / mirror (push) Successful in 7s
CI / e2e (push) Successful in 10m24s
CI / backend (push) Successful in 11m50s

This commit was merged in pull request #192.
This commit is contained in:
2026-05-29 18:21:29 +00:00
2 changed files with 8 additions and 2 deletions

View File

@@ -15,5 +15,8 @@ jobs:
git clone --mirror https://gitea.resolutionflow.com/chihlasm/resolutionflow.git repo git clone --mirror https://gitea.resolutionflow.com/chihlasm/resolutionflow.git repo
cd repo cd repo
git remote add github https://x-access-token:${{ secrets.GH_MIRROR_TOKEN }}@github.com/${{ secrets.GH_MIRROR_REPO }} git remote add github https://x-access-token:${{ secrets.GH_MIRROR_TOKEN }}@github.com/${{ secrets.GH_MIRROR_REPO }}
git push github --all --force # --all + --tags scopes the push to refs/heads/* and refs/tags/*,
git push github --tags --force # 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

3
.gitignore vendored
View File

@@ -249,3 +249,6 @@ graphify-out/
# remember skill runtime state (hook logs, PIDs) # remember skill runtime state (hook logs, PIDs)
.remember/ .remember/
# MCP server config (per-machine, references local env vars for auth)
.mcp.json