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

Hi Ludo’, On 2018-12-04 3:11 PM, Ludovic Courtès wrote: > Hi Amin, > > Amin Bandali skribis: > >>> 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 >> curiou

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

Hi, Meiyo Peng skribis: > Ludovic Courtès writes: > >> 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. > > I don't think ci.guix.info is a suitable name for our default substitute > server. You may think I paranoid, but if I

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

Andreas Enge skribis: > 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.or

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

Hi Amin, Amin Bandali skribis: >> 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. I initially proposed to del

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

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 w

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

Hello, Andreas Enge skribis: > On Mon, Dec 03, 2018 at 06:44:43PM -0500, Mark H Weaver wrote: >> Who owns the guix.info domain? Also, who owns the guixsd.org domain? > > guixsd.org is owned by the Guix Europe association. guix.info, as far as > I know, by Ricardo. Plans are to drop guixsd.org i

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

On Tue, Dec 04, 2018 at 10:03:01AM +0100, Ludovic Courtès wrote: > As for guixsd.org, it was initially owned by Andreas Enge who > transferred it to Guix Europe and also provided credentials to me and I > think a couple of other people, though I forgot who. Andreas? Apart from you, to Ricardo Wur

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

Hello, Ricardo Wurmus skribis: >> Ludovic Courtès writes: >> >>> These patches (actually the last one) switch Guix to default to >>> for substitutes, in preparation for the >>> upcoming 0.16.0 release (hopefully this week!). >> >> Who owns the guix.info domain? > > I regi

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

On Mon, Dec 03, 2018 at 06:44:43PM -0500, Mark H Weaver wrote: > Who owns the guix.info domain? Also, who owns the guixsd.org domain? guixsd.org is owned by the Guix Europe association. guix.info, as far as I know, by Ricardo. Plans are to drop guixsd.org in the long run, and I would suggest to t

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

Hi Mark, > Ludovic Courtès writes: > >> These patches (actually the last one) switch Guix to default to >> 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

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

Hi Ludo, Ludovic Courtès writes: > 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. I don't think ci.guix.info is a suitable name for our default substitute server. You may think I paranoid, but if I accidentally find out ci.g

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

Hi Ludovic, Ludovic Courtès writes: > These patches (actually the last one) switch Guix to default to > 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? Th

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

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

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

Hello Guix! These patches (actually the last one) switch Guix to default to for substitutes, in preparation for the upcoming 0.16.0 release (hopefully this week!). Rationale: • berlin.guixsd.org generally performs better than hydra.gnu.org; • berlin supports x86, ARMv