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
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