Public: anyone can read this; the crew can change it.
The terminal's pull screen offers Take back on a shipped pull, as the page does #7228
commented
Live triage (automatic, not written by a person): no pillar named, so it waits behind the Later gate; name a pillar to move it.
Sign in to join this conversation.
For: undoing a shipped change is the same verb on every surface.
Today a shipped pull can be taken back from the pull page (
POST /:owner/:name/pulls/:number/take-back,src/web/studio/actions.ts) and the API (POST /api/v1/repos/:owner/:name/pulls/:number/take-back,src/http/api/take_back.ts, #7220), butsrc/tui/screens/pull.tshas no key for it.Done:
revertPullwith the signed-in person and opens the new pull's screen.takeBackWords): not shipped, already taken back, mirrored, an agent refused, a conflict naming the files.Revert "<title>".Risk: low. The rules stay in
revertPull.