…and probably not, but has the subject of a ‘git.guix.gnu.org’ delegation come up (which would require some coöperation from the host for HTTPS)? I'm in favour of this Big Migration but it would be nice to anticipate the next one.
Kind regards, T G-R Sent on the go. Excuse or enjoy my brevity.
