[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org)
|
From: |
Ricardo Wurmus |
|
Subject: |
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) |
|
Date: |
Tue, 04 Dec 2018 06:55:14 +0100 |
|
User-agent: |
mu4e 1.0; emacs 26.1 |
Hi Mark,
> Ludovic Courtès <address@hidden> 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
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org), Amin Bandali, 2018/12/03
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org), Mark H Weaver, 2018/12/03
- Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org),
Ricardo Wurmus <=
Re: [bug#33600] [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org), Andreas Enge, 2018/12/04
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org), Meiyo Peng, 2018/12/03