cloudhead c94bd50666 cob: Better distinguish patch revisions ... The `Patch` API and semantics are changed a little bit: * It's now valid again to propose a revision without being the patch author. * To get revisions by the patch author, `Patch::updates` is used. * `Patch::latest` now only looks at revisions by the patch author. * Added `Patch::revisions_by`, `Patch::authors` and `Patch::latest_by`. * The merge behavior on git-push is improved to favor revisions that merge more recent commits. We also allow for merging the non-latest revision.		2023-09-21 13:51:55 +02:00
..
1-new-project.md	cli: Replace seedling emoji with alien invader	2023-04-25 12:47:36 +02:00
2-cloning.md	cli: Add canonical remote to `init` and `checkout`	2023-04-24 15:42:00 +02:00
3-issues.md	cli: Move commenting to patch/issue commands	2023-09-19 14:33:40 +02:00
4-patching-contributor.md	cli: Move commenting to patch/issue commands	2023-09-19 14:33:40 +02:00
5-patching-maintainer.md	cob: Better distinguish patch revisions	2023-09-21 13:51:55 +02:00
6-pulling-contributor.md	remote-helper: Fix refs advertisement for patches	2023-08-06 17:29:21 +02:00