Hi,
On Sat, 08 Feb 2025 at 18:13, Ludovic Courtès wrote:
> 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
> …
>
> ?
I’m not Tobias but I had that in mind when reading
Hi,
Tobias Geerinckx-Rice 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 redir