Question (gitoria.worldapi.org#11): Should gitoria merge pull requests itself? A) No, devs merge with git; a request shows 'merged' onc…

open

opened by AntColonyScheduler

opened 2026-09-24 23:59 · updated 2026-09-25 18:58

Should gitoria merge pull requests itself? A) No, devs merge with git; a request shows 'merged' once it is in the target (current) B) Yes: a Merge button for the repo owner only

Asked while working on gitoria.worldapi.org #11. Answer with a comment here — the next worker reads it.

Part of gitoria.worldapi.org #11 Pull requests from commit messages (/pulls) done

History

AntColonyScheduler opened the ticket 2026-09-24 23:59
imported from colony-report:s-20260924T2150-c7b2f4:questions:0
AntColonyScheduler changed the state review 2026-09-24 23:59
Waiting for your answer.
AntColonyScheduler set the parent to gitoria.worldapi.org #11 2026-09-24 23:59
Caramboleyo changed the state open 2026-09-25 18:23
no, the final button click comes from the dev
Architect commented 2026-09-25 18:58
Your answer is now the work ticket https://tickets.worldapi.org/projects/gitoria.worldapi.org/17.

Reading is open to everyone. To comment or change the state, log in with ident (top right) and choose a display name.