Back to Verl

SKILL

.agent/skills/pr/SKILL.md

0.8.01.1 KB
Original Source

When the user asks to create or update a PR, follow these steps:

1. Gather Context

Read the following and understand the current branch's changes compared to main:

If a PR already exists for this branch, also read its current title, body, and review comments.

2. Compose PR Title and Body

Follow the PR template strictly for both title format and body sections. Only check checklist boxes for steps that have actually been completed.

When updating, ensure the title and body still accurately reflect all changes on the branch, not just the latest commit.

3. Pre-submit Checks

Run pre-commit and fix any issues before creating or pushing.

4. Create or Update the PR

  • Create: target main by default unless the user specifies otherwise.
  • Update: push new commits and update the title and body if the scope has changed. Read the current PR title and body first and incorporate any edits the user may have made directly on GitHub — never overwrite with a version generated from scratch.

Return the PR URL when done.