Skip to content

Fix two stale/missing .gitignore rules, found comparing against EC - #30

Merged
amrali-eg merged 1 commit into
masterfrom
chore/fix-gitignore-gaps
Sep 17, 2026
Merged

amrali-eg merged 1 commit into
masterfrom
chore/fix-gitignore-gaps

Conversation

@amrali-eg

Copy link
Copy Markdown
Owner

Summary

  • The publish-profile un-ignore rules still pointed at the pre-reorg root-level path (!Properties/PublishProfiles/...). LEN's sources/ reorg moved these files to sources/LineEndingNormalizer/Properties/PublishProfiles/, so the rule matched nothing (confirmed via git check-ignore). Not currently breaking anything since both files are already tracked, but either would be silently re-caught by *.pubxml if ever deleted and re-added. Fixed to match EC's own already-correct sources/EncodingChecker/ prefix.
  • Added **/.claude/settings.local.json, present in EC but missing here. Nothing currently stopped this machine-specific file from being swept up by a broad git add.

Test plan

  • git check-ignore confirms .claude/settings.local.json is now ignored
  • git check-ignore confirms the two .pubxml files are correctly un-ignored at their real path
  • git status clean, no unintended changes

🤖 Generated with Claude Code

- The publish-profile un-ignore rules still pointed at the pre-reorg
  root-level path (!Properties/PublishProfiles/...). LEN's sources/
  reorg moved these files to sources/LineEndingNormalizer/Properties/
  PublishProfiles/, so the rule matched nothing (confirmed via
  git check-ignore). Not currently breaking anything since both files
  are already tracked, but either would be silently re-caught by
  *.pubxml if ever deleted and re-added. Fixed to match EC's own
  already-correct sources/EncodingChecker/ prefix.
- Added **/.claude/settings.local.json, present in EC but missing
  here. Nothing currently stopped this machine-specific file from
  being swept up by a broad git add.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
@amrali-eg
amrali-eg merged commit b6dfce2 into master Sep 17, 2026
1 check passed
@amrali-eg
amrali-eg deleted the chore/fix-gitignore-gaps branch September 17, 2026 19:35
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