Skip to content

Ignore local tool state#150

Merged
saagpatel merged 1 commit into
mainfrom
codex/ignore-local-tool-state
Jul 4, 2026
Merged

Ignore local tool state#150
saagpatel merged 1 commit into
mainfrom
codex/ignore-local-tool-state

Conversation

@saagpatel

Copy link
Copy Markdown
Owner

What

Adds .local/ to .gitignore.

Why

A secondary GithubRepoAuditor checkout had untracked local GitHub/tool state at .local/state/gh/device-id. That state is machine-local noise and should not make portfolio dirty-worktree sweeps look actionable.

Review Of What Was Built

  • Ignored .local/ local tool/runtime state.

Cleanup Review

Kept this to one ignore rule; no generated files, no broad cleanup, no unrelated repo changes.

Verification Summary

  • git check-ignore -v .local/state/gh/device-id confirms the canonical checkout ignores the local tool state path.

Shipped Summary

Future local tool state under .local/ will not surface as untracked repo drift.

Next Phase

Fast-forward the stale secondary checkout so it picks up this ignore rule and no longer reports .local/ as dirty.

Remaining Roadmap

  • Continue treating dirty-worktree cleanup as decision-filtered, not broad portfolio janitorial work.

@saagpatel
saagpatel merged commit 432dc25 into main Jul 4, 2026
4 checks passed
@saagpatel
saagpatel deleted the codex/ignore-local-tool-state branch July 4, 2026 11:52
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