Skip to content

chore: untrack machine-local dotfiles swept into main by #297 - #298

Merged
richardmhope merged 1 commit into
mainfrom
fix/untrack-harness-dotfiles
Aug 1, 2026
Merged

chore: untrack machine-local dotfiles swept into main by #297#298
richardmhope merged 1 commit into
mainfrom
fix/untrack-harness-dotfiles

Conversation

@richardmhope

Copy link
Copy Markdown
Collaborator

The conflict-resolution merge in #297 ran a broad git add -A at the worktree root and staged ten machine-local dotfiles (.zshrc, .gitconfig, .idea, .mcp.json, …) as empty files; the merge carried them onto main.

All ten are the empty blob (e69de29), so no configuration content leaked — but they are not repo content, and on machines where these paths exist locally a tracked copy blocks every checkout/pull with "untracked working tree files would be overwritten".

This removes them from tracking (git rm --cached, working copies untouched) and adds them to .gitignore so a future broad add -A cannot re-stage them.

🤖 Generated with Claude Code

The conflict-resolution merge in #297 ran a broad `git add -A` at the worktree
root and staged ten machine-local dotfiles (.zshrc, .gitconfig, .idea, …) as
empty files; the merge carried them onto main. All ten were the empty blob, so
nothing leaked — but they are not repo content, and on machines where these
paths exist locally a tracked copy blocks every checkout/pull. Remove them from
tracking and gitignore them so a future sweep cannot re-add them.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@richardmhope
richardmhope merged commit 8640de7 into main Aug 1, 2026
7 checks passed
@richardmhope
richardmhope deleted the fix/untrack-harness-dotfiles branch August 1, 2026 00:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant