|
| From: | Amin Bandali |
| Subject: | Re: [PATCH 0/3] Defaulting to ci.guix.info (aka. berlin.guixsd.org) |
| Date: | Mon, 03 Dec 2018 13:20:24 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |