Skip to content

Ignore local_notes from git tracking#215

Merged
MTrab merged 1 commit intomainfrom
chore/ignore-local-notes
Mar 2, 2026
Merged

Ignore local_notes from git tracking#215
MTrab merged 1 commit intomainfrom
chore/ignore-local-notes

Conversation

@MTrab
Copy link
Copy Markdown
Owner

@MTrab MTrab commented Mar 2, 2026

Summary

  • add local_notes/ to .gitignore

Why

  • diagnostics dumps and local analysis files should stay local and not be committed

Test strategy

  • not applicable (gitignore-only)

@MTrab MTrab merged commit f63756c into main Mar 2, 2026
4 checks passed
@MTrab MTrab deleted the chore/ignore-local-notes branch March 2, 2026 15:30
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