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

From: Andreas Enge <[email-masked]>
Date: Tue, 4 Dec 2018 11:46:59 +0100

On Tue, Dec 04, 2018 at 11:28:51AM +0100, Ludovic Courtès wrote:
> Awesome.  I’ve added a file to record that info in
> guix-maintenance.git.  Please feel free to complete it; for instance
> it’d be good to know the expiration date of each domain.

Done for guixsd.org. It expires on January 27. I would be okay to let it
run out if guix.info is sufficiently marketed in the meantime.

Andreas