/pr

SkillDev tools

Lets your agent open a GitHub pull request against the right branch using the project's template.

Available today. Use it from your connected AI after setup.

No other account needed.

Connect ahel once, and every AI you use reads what you have installed.

Then ask your AI: use the /pr skill

About this capability

Open a GitHub PR targeting the correct branch with the project template

What this skill tells your AI

The instructions your AI receives, as published by evermind-ai/everos in .claude/skills/pr/SKILL.md and read by ahel’s review.

Open a pull request on GitHub using the gh CLI and the repo's PR template.

Confirm the branch and target:
- Base branch is main.
- Head branch should be a scoped branch such as feat/*, fix/*, docs/*, ci/*, chore/*, or refactor/*.
Ensure local checks pass first:
```
make ci
```
Do not open a PR with failing lint/tests.
Push the branch:
```
git push -u origin HEAD
```
Create the PR, filling the template (.github/PULL_REQUEST_TEMPLATE.md):
```
gh pr create --base main --fill-first
```
Then edit the body to complete each section:
- Summary — what changed and why.
- Area — tick the relevant box (architecture / benchmark / use case / docs / DX / CI-build-release).
- Verification — paste the commands you ran (make ci, manual checks).
- Checklist — tick honestly; don't tick boxes you didn't satisfy.
- Notes for Reviewers — anything subtle.

Keep the PR scoped to one area. Split unrelated changes.
If make ci was not fully run, say so in Verification rather than implying it passed.
Never retarget a community PR away from main unless a maintainer explicitly asks for it.

Advanced