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

From: Ricardo Wurmus <[email-masked]>
Date: Tue, 04 Dec 2018 06:55:14 +0100

Hi Mark,

> Ludovic Courtès <[email-masked]> writes:
>
>> These patches (actually the last one) switch Guix to default to
>> <https://ci.guix.info> for substitutes, in preparation for the
>> upcoming 0.16.0 release (hopefully this week!).
>
> Who owns the guix.info domain?

I registered it and offered it to Guix Europe (though we aren’t yet
sharing administration of the domain).

--
Ricardo