Hi, Christopher Baines <m...@cbaines.net> skribis:
>> ## Workflow >> >> Once continuous integration (CI) is fully operational, pull requests may >> be merged if and only if they successfully built. “World-rebuild” pull >> requests would still follow the [existing branching >> process](https://guix.gnu.org/manual/devel/en/html_node/Managing-Patches-and-Branches.html). > > Given this proposal isn't to get "continuous integration" to be fully > operational, I don't think this paragraph is really relevant. I agree that the proposal is not about CI per se, but I felt the need to show a direction, something that becomes possible thanks to the tools: no push without a green light from CI. This is the obvious thing to do for most developers these days. We have a huge package collection, so that’s even more relevant to us. But yes, apart from this statement, it’s probably wise to drop the rest of the “Workflow” section because it’s too vague. Thanks, Ludo’.
