项目文件夹

文件
Asim Aslam 37c4b0499e
Lint / golangci-lint (push) Has been cancelled
Run Tests / Unit Tests (push) Has been cancelled
Harness (E2E) / Harnesses (mock LLM) (push) Has been cancelled
Harness (E2E) / Provider harnesses (live LLM, if keys present) (push) Has been cancelled
Run Tests / Etcd Integration Tests (push) Has been cancelled
docs: require Codex PR creation step
2026-06-25 07:34:51 +01:00

876 B

Repository agent instructions

These instructions apply to the entire repository.

Pull requests from Codex tasks

When a Codex task makes repository changes and the requested outcome is a PR:

  1. Keep the change focused on the assigned issue or prompt.
  2. Run the relevant verification commands and capture their results.
  3. Check git status --short and review the diff before finishing.
  4. Stage the intended files and create a local git commit on the current branch.
  5. Use the Codex make_pr tool to open the pull request with a concise title and a body that summarizes the change and testing.

Do not just say that a PR was opened. If local changes exist, the task is not complete until the changes are committed and the make_pr tool has been called. A GitHub token in the shell environment is not a substitute for the Codex make_pr tool in this environment.