From c46d0f867e334a925d32320110a95fee6598d7c0 Mon Sep 17 00:00:00 2001 From: Jonathan Fields Date: Thu, 28 May 2026 12:00:28 -0400 Subject: [PATCH] Add Codex worktree PR instructions --- AGENTS.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 AGENTS.md diff --git a/AGENTS.md b/AGENTS.md new file mode 100644 index 00000000..340f0446 --- /dev/null +++ b/AGENTS.md @@ -0,0 +1,10 @@ +# Codex Instructions + +## Worktree And PR Workflow + +- For any code or documentation change, do not edit the main checkout directly unless the user explicitly asks for it. +- Create a new git worktree from the repository default branch and work on a dedicated `codex/...` branch. +- Keep the main checkout clean. If changes accidentally land there, move them into a feature worktree before continuing. +- Stage only the intended files, commit the scoped change, push the branch, and open a draft pull request. +- Run the most relevant available checks before opening the pull request, and mention any checks that could not be run. +- Do not overwrite, reset, or include unrelated local/user changes from other worktrees.