Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org)

[Meiyo Peng]

Hi Ludo,

Ludovic Courtès <address@hidden> 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