On 2023-05-15, Vagrant Cascadian wrote: > On 2023-05-15, Josselin Poiret wrote: >> Vagrant Cascadian writes: >> >>> New patch attached which also splits the teams. >>> >>> They could still probably significantly benefit from >>> descriptions... though I haven't heard much of anything weighed in on >>> that from the discussion on guix-devel. >>> >>> live well, >>> vagrant >>> From 0ae1c6951bcfd3c1a83e8a86adcbc6afae122c01 Mon Sep 17 00:00:00 2001 >>> From: Vagrant Cascadian >>> Date: Wed, 18 Jan 2023 11:17:36 -0800 >>> Subject: [PATCH] teams: Split Embedded and Bootstrap into separate teams. >>> >>> * etc/teams.scm.in (embedded-bootstrap): Replace by two separate teams. >>> (embedded): New variable. >>> (bootstrap): New variable. >>> Adjust membership to use new teams. >> >> Any news about this patch? > > Maybe it just wasn't controversial enough and I should just push it > already. :) Pushed as: 7cf606a5a0515b9a124fb58a06e3daa24a4a4e69 live well, vagrant