[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: |
Mark H Weaver |
|
Subject: |
Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) |
|
Date: |
Mon, 03 Dec 2018 18:44:43 -0500 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hi Ludovic,
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? Also, who owns the guixsd.org domain?
Thanks,
Mark
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 <=
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