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 16a07e1682 - Show all commits

3
.gitignore vendored
View File

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