Hi Ludo, Ludovic Courtès <l...@gnu.org> writes:
> For the domain name I initially wanted “ci.guix.gnu.org” but we failed > to set that up. Oh well, I think that’s OK. I don't think ci.guix.info is a suitable name for our default substitute server. You may think I paranoid, but if I accidentally find out ci.guix.info is my default substitute server, I will be cautious and verify it's integrity. Let's use a subdomain of gnu.org. If you encounter any obstacles while setting up the system, we'd like to help. -- Meiyo Peng
