Skip to content

feat: introduce codex-pr-body skill#18033

Merged
bolinfest merged 1 commit intomainfrom
pr18033
Apr 16, 2026
Merged

feat: introduce codex-pr-body skill#18033
bolinfest merged 1 commit intomainfrom
pr18033

Conversation

@bolinfest
Copy link
Copy Markdown
Collaborator

@bolinfest bolinfest commented Apr 16, 2026

Motivation

Codex needs a repeatable workflow for updating PR metadata after a pull request already exists. This is more specific than generic GitHub handling: the assistant needs to preserve author-provided body content, explain why the PR exists before listing implementation details, and describe only the net change under review, including when Sapling stacks put a PR on top of another PR instead of main.

Changes

  • Adds .codex/skills/codex-pr-body/SKILL.md.
  • Documents how to infer the target PR from the current branch or commit, including Sapling-specific PR metadata and sl sl output.
  • Defines the expected PR body update behavior: inspect the existing body, preserve key content such as images, avoid local absolute paths, use Markdown formatting, include relevant issue/PR references, and call out developer docs follow-up only when applicable.
  • Captures stacked-PR handling so generated PR text describes the change between the PR's base and head, rather than unrelated ancestor changes.

Verification

Not run; this is a Codex skill documentation addition.

@bolinfest bolinfest merged commit d63ba2d into main Apr 16, 2026
23 checks passed
@bolinfest bolinfest deleted the pr18033 branch April 16, 2026 01:07
@github-actions github-actions bot locked and limited conversation to collaborators Apr 16, 2026
@bolinfest
Copy link
Copy Markdown
Collaborator Author

I should mention that sl sl is equivalent to sl, but this:

prefix_rule(
  pattern = ["sl", "sl"],
)

is safer than this:

prefix_rule(
  pattern = ["sl"],
)

since the latter allows all Sapling commands, not just the smartlog.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants