[Savannah-hackers-public] mirror-koddos*.net unreachable from the FSF servers

[Thérèse Godefroy]

Hello,

The two koddos.net mirrors have been unreachable by Mirmon for the last
10 days, whereas they work just fine from my location (France). I tried
to reach them from fencepost, and this is what I got:

thg@fencepost:~$ curl -nvv 
http://mirror.koddos.net/gnu/mirror-updated-timestamp.txt
* Couldn't find host mirror.koddos.net in the .netrc file; using defaults
* Could not resolve host: mirror.koddos.net
* Closing connection 0
curl: (6) Could not resolve host: mirror.koddos.net

thg@fencepost:~$ curl -nvv 
http://mirror-hk.koddos.net/gnu/mirror-updated-timestamp.txt
* Couldn't find host mirror-hk.koddos.net in the .netrc file; using defaults
* Could not resolve host: mirror-hk.koddos.net
* Closing connection 0
curl: (6) Could not resolve host: mirror-hk.koddos.net

In contrast, another Dutch mirror is reachable from fencepost:

thg@fencepost:~$ curl -nvv 
http://ftp.nluug.nl/pub/gnu/mirror-updated-timestamp.txt
* Couldn't find host ftp.nluug.nl in the .netrc file; using defaults
*   Trying 2001:67c:6ec:221:145:220:21:40...
* TCP_NODELAY set
* Connected to ftp.nluug.nl (2001:67c:6ec:221:145:220:21:40) port 80 (#0)
[...]

Are the koddos IPs blocked, by any chance?
Is there any way to whitelist these gnu mirrors?
Thanks!

All the best,
Thérèse