I wanted to tracker the status of a PR, for that I used <nixpk.gs/pr-tracker.html>.
But it seems that the server is not available as per the following curl command:
$ curl -v --silent https://nixpk.gs
* Host nixpk.gs:443 was resolved.
* IPv6: 2001:bc8:1640:1db0:dc00:ff:fe29:3bbf
* IPv4: 51.15.79.186
* Trying [2001:bc8:1640:1db0:dc00:ff:fe29:3bbf]:443...
* Trying 51.15.79.186:443...
* connect to 2001:bc8:1640:1db0:dc00:ff:fe29:3bbf port 443 from 2a01:e0a:bb1:7640:f22f:74ff:feca:e5d8 port 46878 failed: No route to host
* connect to 51.15.79.186 port 443 from 192.168.1.72 port 52744 failed: No route to host
* Failed to connect to nixpk.gs port 443 after 1598 ms: Could not connect to server
* closing connection #0
Is it only an issue on my side? it there other tool tracker the status of a PR?