Drop the bad gh-mirror/ exclude (it blocked the auto-heal) #112

Merged
claude merged 1 commits from fix/drop-bad-exclude into main 2026-06-24 21:43:45 -04:00
Contributor

Rsync's --exclude also protects matching paths at the DESTINATION from --delete. The belt-and-suspenders --exclude='gh-mirror/' in the previous fix kept the stray gh-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

Rsync's `--exclude` also protects matching paths at the DESTINATION from `--delete`. The belt-and-suspenders `--exclude='gh-mirror/'` in the previous fix kept the stray `gh-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](https://claude.com/claude-code)
claude added 1 commit 2026-06-24 21:43:23 -04:00
rsync's --exclude also protects the matching path at the DESTINATION from
--delete. The belt-and-suspenders --exclude='gh-mirror/' I added in the previous
fix prevented the stray gh-mirror/ subtree at the destination from ever being
deleted by --delete, defeating the auto-heal. The structural fix (cloning the
GitHub mirror into $RUNNER_TEMP, outside ./) already prevents the recursive
self-include, so the exclude is unnecessary and harmful. Removed it; left an
explanatory NOTE in the workflow so this isn't re-added.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TfzV5QvtPDz8LJS3Pu5VLT
claude merged commit 125802616d into main 2026-06-24 21:43:45 -04:00
claude deleted branch fix/drop-bad-exclude 2026-06-24 21:43:45 -04:00
Sign in to join this conversation.