Skip to content

chore: ignore local agent state#868

Open
wr-fenglei wants to merge 1 commit into
XiaomiMiMo:mainfrom
wr-fenglei:codex/ignore-local-agent-state
Open

chore: ignore local agent state#868
wr-fenglei wants to merge 1 commit into
XiaomiMiMo:mainfrom
wr-fenglei:codex/ignore-local-agent-state

Conversation

@wr-fenglei

Copy link
Copy Markdown

Add .agents/ to the root gitignore alongside other local agent harness directories so personal workspace state stays untracked.

Issue for this PR

Closes #

Type of change

  • Bug fix
  • New feature
  • Refactor / code improvement
  • Documentation

What does this PR do?

This adds .agents/ to the root .gitignore next to other local agent harness state directories like .claude/.

The .agents/ directory is local workspace state and should not be tracked in this repository.

How did you verify your code works?

Reviewed the diff to confirm the only change is adding .agents/ to the root .gitignore.

Ran git diff --check origin/main..HEAD; it produced no output, so Git found no whitespace errors. No runtime tests were needed for this .gitignore-only change.

Screenshots / recordings

Not applicable. This is not a UI change.

Checklist

  • I have tested my changes locally
  • I have not included unrelated changes in this PR

Add .agents/ to the root gitignore alongside other local agent harness directories so personal workspace state stays untracked.
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