Skill: confirm a merge by REST, not by the gateway PR read #7
Loading…
Reference in a new issue
No description provided.
Delete branch "oss-oo/skill-merged-check"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The gateway's
get_pull_requesthas nomergedfield (until laboratory#162 is deployed), so a merged and a closed PR look the same there. Reported by the plugin-family experiments session. The skill now confirms a merge withlab_api_readon/repos/OWNER/REPO/pulls/N. Version 0.3.1; gate green.🤖 Generated with Claude Code