Thread overview is unreachable - breaks github checks
May 13
I realized I probably posted in the wrong group[1].

Hopefully can be brought online again, as github checks depend on it[2].


-- Bastiaan.

May 13
It's back!
May 14
On Wednesday, 13 May 2020 at 20:43:40 UTC, Bastiaan Veelo wrote:
> It's back!

Yes, sorry for that.  Hetzner had a problem where the dns zone suddenly stopped resolving yesterday afternoon (possibly related, one of their nameservers appeared to had gone down too).

I had pushed a no-op update and the dns zone propagated again.