Hi, Tobias Geerinckx-Rice <m...@tobias.gr> skribis:
> 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. This (adding a DNS entry and HTTP redirect) was suggested at the Guix Days by several people so yes, we should probably do that. To be more concrete, do you have something like this in mind: git.guix.gnu.org/guix.git git.guix.gnu.org/maintenance.git git.guix.gnu.org/build-coordinator.git … ? Should we experiment with it independently of the “Codeberg migration” GCD? Should it itself be a GCD? (I’m tempted to say “no”, but I’m unsure.) Ludo’.