Skip to content

[codex] Add Codex worktree PR instructions #161

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
meekmachine merged 1 commit into from
May 28, 2026
Merged

[codex] Add Codex worktree PR instructions #161

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions AGENTS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -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.