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

From: Mark H Weaver <[email-masked]>
Date: Mon, 03 Dec 2018 18:44:43 -0500

Hi Ludovic,

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?  Also, who owns the guixsd.org domain?

     Thanks,
       Mark