PX4 Pull Request
SkillDev toolsLets your agent create a pull request with a conventional commit title and description.
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 PX4 Pull Request skill
About this capability
Create a PX4 pull request with a conventional title and concise Summary, Problem, and Solution sections.
What this skill tells your AI
The instructions your AI receives, as published by px4/px4-autopilot in .agents/skills/pr/SKILL.md and read by ahel’s review.
The user is the author: no Co-Authored-By, no "Generated with Claude"
footers. AI disclosure lives in the commit trailers (Assisted-by:), not in
the PR body.
Steps
-
Check branch. If on
main, create a feature branch<username>/<description>where<username>comes fromgh api user --jq .login. -
Gather context:
git status,git log --oneline main..HEAD,git diff main...HEAD --stat, check for remote tracking branch. -
Sanity-build one target the change can actually affect — a board for firmware changes,
px4_sitlfor POSIX-only or simulation changes. Skip the build entirely when the diff cannot reach any target (submodule pointer bumps, docs, ROMFS). Fix any build errors before opening the PR. -
PR title:
type(scope): description— under 72 chars, covers the overall change across all commits. This becomes the squash-merge commit message. -
PR body: as short as it can be while still landing the point — a reviewer should take it in at a glance, and a long description is one nobody reads. Exactly three sections, in order:
## Summary,## Problem,## Solution, a sentence or two each. Do not restate the diff (no file-changed lists, no code snippets), do not mention CI, and do not repeat what the title already says. If the PR closes an issue, the first line of## Summaryisfixes #<N>, then a blank line, then the summary. No## Test plansection, no boilerplate, no Claude attribution. Never state testing that did not happen: ask the user what they actually ran, report exactly that, and say plainly when something is untested. -
Push with
-uif needed, thengh pr create. Default base ismainunless user says otherwise. -
Return the PR URL.
If the user provided arguments, use them as context: $ARGUMENTS
Signals
- GitHub stars
- 13k
- Forks
- 16k
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
pr-px4- Source
- github.com/px4/px4-autopilot