| name | open-pr |
| description | Open a GitHub pull request for OpenFirma. Use whenever you are asked to open a PR. |
Open PR
Use this workflow whenever you are asked to open a GitHub pull request for
OpenFirma.
Workflow
- Inspect the repository state and active VCS.
- Inspect the revision stack that will be included in the PR.
- Inspect bookmarks or branches and remotes.
- If the working copy is dirty, the stack is mixed, or the target history is
already under review, load and follow the
commit-guidelines skill before
continuing.
- Read the PR template.
- Push the review head to the correct remote.
- Open a draft PR with
gh.
- Concurrently, using sub-agents:
- Verify the final PR body, title, base, and head.
- Load and follow the
verify skill.
If verification fails, provide the parent agent with a report so
that it can address the issues.
- Perform an adversarial PR review.
- Present the adversarial review findings to the user. Do not address or
dismiss any finding until the user has reviewed it and provided explicit
direction.
- Iterate on the outcomes of the previous steps according to the user's
direction until verification succeeds, the findings have been addressed or
dismissed, and any resulting changes have been pushed and passed the
verification and metadata checks in step 8. The updated PR must also pass
another adversarial review unless the changes since the previous review are
purely mechanical and do not change behavior or meaning.
- Monitor the CI run triggered by the previous push.
It must succeed. If not, failures must be triaged and addressed.
- Mark the PR as "ready to review".
For jj repositories, create or update a bookmark that points at the intended
review tip before pushing it to the selected remote.
Verify after creation
After creating the PR, inspect it with gh pr view and confirm:
- title matches repo style
- base branch is correct
- head branch or bookmark is correct
- body follows the PR template
- all intended commits are included
If the body does not match what you requested, fix it immediately instead of
assuming the create or edit step worked.
Output
Report the PR URL.