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

[Mark H Weaver]

Hi Ludovic,

Ludovic Courtès <l...@gnu.org> 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