Re: HTTP redirect for the Git repository

2025-02-11 Thread Simon Tournier
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

HTTP redirect for the Git repository

2025-02-08 Thread Ludovic Courtès
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