Dsh Merging Stacked Prs

Use when landing a stack of dependent GitHub PRs (A ← B ← C, where each bases on the one below) onto master, merging a PR whose base is another open PR's branch, or whenever a request mentions "stacked PRs", "PR stack", "dependent PRs", or merging several related PRs in sequence. Requires every same-repository dependency chain to use GitHub's official stacked-PR feature before landing so GitHub owns stack-wide rules, CI, ordering, retargeting, and merge state.

op7418 (归藏) Updated

File contents

op7418/pilot-harness/tree/main/.agents/skills/dsh-merging-stacked-prs commit 964d20a4d8

Frequently asked questions

npx skillmds@latest add op7418/dsh-merging-stacked-prs