zm.prClose

Close a pull request without merging it — gh pr close.

opts.reason is why: not_planned, duplicate, superseded or withdrawn. Left out, ZeroMind records withdrawn when the request's author closes it and not_planned when the world's owner does. opts.comment is posted on the request's thread before it closes, so its author reads why in zm.prView.

The world's contributors close any of its pull requests; the request's author closes their own. A request that is closed or merged already is refused, naming its state, before the comment is posted. A closed request comes back with zm.prReopen; a merged one stays merged.

zm.prClose(nil, 1)
zm.prClose(worldGuid, 3, { reason = "superseded", comment = "Landed in #4 instead." })

In the shell: zm pr close [<world>] <n> [--reason <reason>] [-c <comment>].