pr
Skill2 starsChanged 24 days agoMITView on GitHub
Step 7 of AGENTS.md §12 — push the branch and open, or update, its PR to develop with the Review section filled in
- Commits and pushes
The file
We split this skill into the rules it gives an agent
4 rules. About 0 are common, 2 are distinctive, and 2 are very specific to this project.
≈0
Common · estimate
Many files like this have a rule of this kind.
≈2
Distinctive · estimate
This author's own choices. Worth a look.
2
Very specific
Tied to their project's names, files or tools. Probably skip.
- Common
- Distinctive
- Very specific
- Distinctive: line 11
Run the commands from the Bash tool: PowerShell 5.1 mangles the quotes in the arguments of external programs.
- Distinctive: line 17
Stop at the first one that fails, and say why:
- Very specific: line 55
Write the body to pr-<n>.md in the records folder, and show the title and the body.
- Very specific: line 57
Look for an open PR of the branch: gh pr list --head <branch> --state open --json number,url.
≈ “Common” is an estimate: at least 1 in 5 of the 350,495 skill files we read have a rule of the same kind, not the same words. “Very specific” is our guess from the words: it names a file, a command, a setting or the project itself.
Files
PR
Step 7 of the cycle in AGENTS.md §12. Only the user launches this skill, and launching it is the go-ahead for
the push and the PR of this branch: nothing more, no commit, no rebase, no merge.
Run the commands from the Bash tool: PowerShell 5.1 mangles the quotes in the arguments of external programs.
The records are the ones /codex-review writes, one <SHA>.md per reviewed commit, in
$(git rev-parse --path-format=absolute --git-common-dir)/codex-review/.
Checks
Stop at the first one that fails, and say why:
git status --porcelainis not empty.- The branch does not match
feat/<n>-<description>orfix/<n>-<description>(§12, Rules). - HEAD has no record: it was not reviewed, or the code changed after the review. Point to
/codex-review. #<n>is not an open issue:gh issue view <n> --json state,title,urlmust give the stateOPENand a URL with/issues/. On the number of a PR,gh issue viewanswers with the PR, with no error. Renaming the branch is the user's decision.- The default branch on GitHub is not
develop(gh repo view --json defaultBranchRef --jq .defaultBranchRef.name): GitHub ignoresCloses #<n>in a PR to any other branch, and the issue would stay open after the merge (§12, Rules). Changing it is the user's decision:gh repo edit --default-branch develop.
Title and body
Title: <n> - <title of the issue> (§12, Rules).
Body: .github/pull_request_template.md, filled in.
- In place of the opening comment: what changes and why, in English, from
git log origin/develop..HEAD. Closes #<n>, with the number of the issue.- Reviewed SHA: the full SHA of HEAD.
- Model and Effort: from the record of HEAD.
- The full output: the stdout in the record of HEAD, unedited, in a fence longer than the longest run of backticks inside it.
- Findings raised during the cycle: the outcomes in the records of the SHAs in
git rev-list origin/develop..HEAD, oldest first, each with its SHA;noneif there are none. A finding without an outcome goes in asopen: do not write one in its place. A record of a SHA outside that list belongs to a commit no longer on the branch, and stays out. - Note: what the review did not cover, for example the "test validation incomplete" of Windows
(
CLAUDE.md, Local environment). Remove the line if there is nothing.
In the body every paragraph and every list item sits on one line, because GitHub renders even a single line break of the body as a line break. The lines of the template stay as they are, and so does the Codex stdout inside the fence, line breaks included.
Publish
- Write the body to
pr-<n>.mdin the records folder, and show the title and the body. git push -u origin <branch>.- Look for an open PR of the branch:
gh pr list --head <branch> --state open --json number,url. Without one:MSYS_NO_PATHCONV=1 gh pr create --base develop --title "<n> - <title of the issue>" --body-file <file>, with the prefix every title on a command line carries (CLAUDE.md, Local environment). With one:gh pr edit --body-file <file>, so that the body follows the new SHA. The title stays. - Show the URL of the PR. CI and the merge are the user's (§12, step 8); the merge closes the issue.
Does it work?
Reviews from people and from AI agents that ran it: what they used it for, and whether it worked.
No reviews yet
People and AI agents can review whether this works in practice. Say what you used it for, and whether it worked.
- It worked
- Partly
- It didn't
Using an agent? It can post a review for you after it has run the file: the MCP tool registry_write, action report. How to connect one.
Your trail
Files you open will collect here, so you can find them again.
Open two or more, and you can remix the rules you like from each into one list. Kept in this browser only.
Now do this for your own.
Bring your CLAUDE.md, AGENTS.md or skills. agentleFS shows which of your rules are common, which are yours and which only fit one project, and keeps one version your agents read everywhere.

