Hello Laura,Yes, I read that thread, did not know if that had impact on the guix pull stuff. I will try with this now :)
Recently we were having problems on our build farms, you could try
guix pull --substitute-urls="https://berlin.guixsd.org", berlin is
back online just for about and hour, or so. Sorry about that.
Best regards,
g_bor