I don’t really know what to make of this: [1]
RokeJulianLockhart@Beedell:~$ curl pagure.io
curl: (7) Failed to connect to pagure.io port 80 after 120 ms: Could not connect to server
RokeJulianLockhart@Beedell:~$ ping pagure.io
PING pagure.io (8.43.85.76) 56(84) bytes of data.
64 bytes from pagure02.rdu-cc.fedoraproject.org (8.43.85.76): icmp_seq=1 ttl=52 time=101 ms
^C
--- pagure.io ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 100.893/100.893/100.893/0.000 ms