Hi, Meiyo Peng <meiyo.p...@gmail.com> skribis:
> Ludovic Courtès <l...@gnu.org> 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.guix.info is my default substitute server, I will be cautious and > verify it's integrity. I understand the feeling, though security-wise, what matters is the key that you authorize with “guix archive --authorize”. > Let's use a subdomain of gnu.org. If you encounter any obstacles while > setting up the system, we'd like to help. I’ve just resent a summary of what needs to be done. Thanks for helping out! Ludo’.
