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

[Amin Bandali]

Hi Ludo’,

> 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.

What was the failure about, if you don’t mind me asking?  I’m
curious if there might be a way to salvage it.

-amin