DNS problems with guix.gnu.org domain (and a tip)

[Maxim Cournoyer]

Hello,

There is currently a problem with DNS for the various Guix services.
Berlin at least appears to be running fine otherwise, and you can still
get substitutes by using its public IP like:

--8<---------------cut here---------------start------------->8---
guix install hello --substitute-urls='https://141.80.181.40'
--8<---------------cut here---------------end--------------->8---

I thought I'd share this useful tip while the problem is investigated
and resolved.

-- 
Thanks,
Maxim