> Here's my perspective: it will cost us basically nothing to rename the > master branch,
i suspect you'd be surprised how many places will need to be touched until the whole infra is back on track after such a rename... e.g. consider just the "bootstrapping" of this rename: if you simply rename the branch, then people won't be able to guix pull after the rename. if you keep two branches, then for how long until no users are left who will attempt to guix pull using an unprepared guix binary? or should we add code to guix preemptively that can deal with both the pre and post rename environment? then have a grace period before the rename? for how long? etc, etc... guix is deeply intertwined with git. point is: it's not just a simple rename. -- • attila lendvai • PGP: 963F 5D5F 45C7 DFCD 0A39 -- “Forgiveness is not forgetting. Forgiveness is freedom from hate.” — Valarie Kaur