Rebase PR

SkillDev tools

Rebase a PR on its base branch, fix conflicts, and verify build

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

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

Then ask your AI: use the Rebase PR skill

What this skill tells your AI

The instructions your AI receives, as published by aztec-labs-eng/aztec-node in yarn-project/.claude/skills/rebase-pr/SKILL.md and read by ahel’s review.

Simple workflow to rebase a PR on its base branch, resolve conflicts, and push.

Usage

/rebase-pr 19882

Workflow

Step 1: Validate PR

gh pr view <PR> --repo aztec-labs-eng/aztec-node --json state,headRefName,baseRefName

Abort if:

  • state is not OPEN → "PR #<N> is <state>, nothing to rebase."

Note the baseRefName (usually main).

Step 2: Checkout and Rebase

gh pr checkout <PR>
git fetch origin <base-branch>
git rebase origin/<base-branch>

Step 3: Resolve Conflicts (if any)

If there are conflicts:

  1. Identify conflicting files:

    git status
    
  2. Resolve each conflict: Edit the files to resolve conflicts

  3. Stage resolved files:

    git add <resolved-file>
    
  4. Continue rebase:

    git rebase --continue
    
  5. Repeat until rebase completes

Important: Always REBASE, never merge.

Step 4: Bootstrap (if needed)

Check if changes exist outside yarn-project:

git diff origin/<base-branch>...HEAD --name-only | grep -v '^yarn-project/'

If yes, run bootstrap from repo root:

(cd $(git rev-parse --show-toplevel) && ./bootstrap.sh build yarn-project)

Step 5: Verify Build

Run from yarn-project:

yarn build

If there are build errors from the rebase, fix them.

Step 6: Quality Checklist

Format and lint ALL packages:

yarn format
yarn lint

Step 7: Commit and Push

If there are changes from build fixes or conflict resolution, commit and push.

If the PR targets next, amend to keep it as a single commit:

git add .
git commit --amend --no-edit
git push --force-with-lease

Otherwise, create a normal commit:

git add .
git commit -m "fix: resolve rebase conflicts"
git push --force-with-lease

Key Points

  • Rebase, don't merge: Always use git rebase, never git merge
  • Amend only for PRs targeting next: Other PRs use normal commits
  • Bootstrap when needed: Only if there are changes outside yarn-project
  • Verify build: Always run yarn build after rebase
  • Force push with lease: Use --force-with-lease for safety

Signals

GitHub stars
23
Forks
4
Last commit
Sep 2026
Advanced
Catalog kind
skill
Gateway key
rebase-pr
Source
github.com/aztec-labs-eng/aztec-node