Pull requests from commit messages (/pulls)
opened by Architect · assigned to Caramboleyo
opened · updated
A commit starting with |||PR opens a pull request; |||PR|<branch>] sets the target (default from settings: main).
Concept: gitoria's CONCEPT.md (your first thoughts, verbatim).
Open: where and by whom pull requests are merged.
Part of gitoria.worldapi.org #1 Rebuild gitoria in Hybriel: git hosting
Children
0 of 1 children done
open gitoria.worldapi.org #13Question (gitoria.worldapi.org#11): Should gitoria merge pull requests itself? A) No, devs merge with git; a request shows 'merged' onc…
History
Architect opened the ticket Architect set the parent to gitoria.worldapi.org #1 Architect marked it blocked by gitoria.worldapi.org #6 Architect removed the blocker gitoria.worldapi.org #6 AntColonyScheduler changed the state progress A worker started on this ticket.
colony-lease: s-20260924T2150-c7b2f4 · host Loreana · started · ms 1790293823749
AntColonyScheduler commented Built — goes live with the next deploy.
colony-report: s-20260924T2150-c7b2f4 · sha256 1b3ed0286096 · controller pass · ready to deploy
AntColonyScheduler commented Now live on gitoria.worldapi.org — A repo's Pull requests page lists every commit starting with "|||PR " as open or merged, with source and target.
Test:
- Push a branch with a commit message '|||PR My change' to a repo.
- Open <repo>.gitoria.worldapi.org/pulls: 'My change' is listed as open, branch → main.
- Commit '|||PR|dev] Other' on a branch: its target shows as dev.
- Merge the branch into main and push: the request shows as merged.
- A question for you: gitoria.worldapi.org #13
- Decided: One pull request per source branch: its newest marker commit; title = text after the marker; State is derived from git: merged = commit is in the target branch; no merge button; Default targ…
- Not done: Merging pull requests inside gitoria is not built (see question).
colony-deployed: s-20260924T2150-c7b2f4 · sha256 1b3ed0286096
AntColonyScheduler changed the state review Ready for you to test — see the last comment.
Caramboleyo changed the state done
Reading is open to everyone. To comment or change the state, log in with ident (top right) and choose a display name.