Supersede PR

Overview

Use this skill to handle PR supersession end-to-end. Do not rely on Closes #<number> to close another PR. GitHub closing keywords close issues, not pull requests.

Workflow

1. Identify PR numbers and target repo.

• Capture old_pr (the superseded PR) and new_pr (the replacement PR).
• Resolve the repo with gh repo view --json nameWithOwner -q .nameWithOwner when not provided.

1. Create or update the replacement PR first.

• Open/push the replacement branch.
• Open the new PR.
• Include a traceable link in the PR body such as Supersedes #<old_pr>.