Skip to content

fix: keep issue metadata only in ~/.codex/AGENTS.md#69

Merged
skulidropek merged 2 commits intoProverCoderAI:mainfrom
skulidropek:issue-67
Feb 19, 2026
Merged

fix: keep issue metadata only in ~/.codex/AGENTS.md#69
skulidropek merged 2 commits intoProverCoderAI:mainfrom
skulidropek:issue-67

Conversation

@skulidropek
Copy link
Copy Markdown
Member

@skulidropek skulidropek commented Feb 19, 2026

Summary

  • stop writing docker-git issue-managed blocks into project AGENTS.md
  • keep workspace context only in ${CODEX_HOME}/AGENTS.md
  • add guards to block committing/pushing managed issue block changes in repo AGENTS.md
  • remove stale issue-managed block from current AGENTS.md

Testing

  • pnpm --filter ./packages/docker-git test -- tests/core/templates.test.ts
  • pnpm --filter ./packages/lib test
  • pnpm --filter ./packages/docker-git typecheck

Closes #67

@skulidropek skulidropek merged commit 7d6d960 into ProverCoderAI:main Feb 19, 2026
11 checks passed
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.

Это сообщение должно быть только в ~/.codex/AGENTS.md

1 participant