Commit 0aa6442
feat(skills): cover the close-without-merging path in merge-pr
Workflow audit against the 28-skill catalog found that closing a PR
without merging (superseded, abandoned, replaced) had no skill that
both framed the workflow and gated the tool. update_pull_request_state
was already in merge-pr.allowedTools but neither the description nor
the body surfaced the close path, so a user prompt like "close this
PR, it's superseded by #123" would not load merge-pr.
Broaden merge-pr's description to mention closing/abandoning a PR,
add update_pull_request to allowedTools (the consolidated update tool
covers state changes too), and add a "Closing without merging"
subsection that names update_pull_request_state and reminds the
caller to leave a comment explaining the close.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>1 parent b7372cc commit 0aa6442
1 file changed
Lines changed: 3 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
190 | 190 | | |
191 | 191 | | |
192 | 192 | | |
193 | | - | |
| 193 | + | |
194 | 194 | | |
195 | 195 | | |
196 | 196 | | |
197 | 197 | | |
| 198 | + | |
198 | 199 | | |
199 | 200 | | |
200 | 201 | | |
201 | 202 | | |
202 | | - | |
| 203 | + | |
203 | 204 | | |
204 | 205 | | |
205 | 206 | | |
| |||
0 commit comments