Drop the bad gh-mirror/ exclude (it blocked the auto-heal) #112
Reference in New Issue
Block a user
Delete Branch "fix/drop-bad-exclude"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Rsync's
--excludealso protects matching paths at the DESTINATION from--delete. The belt-and-suspenders--exclude='gh-mirror/'in the previous fix kept the straygh-mirror/subtree alive on GitHub forever. The structural fix (clone into$RUNNER_TEMP) already prevents the recursive self-include, so the exclude is unnecessary and harmful. NOTE comment left in-place so a future maintainer doesn't re-add it.Merging triggers the next sync, which will finally delete the stray dir from GitHub.
🤖 Generated with Claude Code