On Fri, Mar 19, 2021 at 11:33:51PM -0400, Tom Lane wrote:
> I pushed something to gitmaster about half an hour ago, but
> it's not yet shown up on the mirror server or gitweb.
It seems that there are some problems on the infrastructure, e.g.
https://www.postgresql.org/list/pgsql-hackers/2021-03/ returns a 503 while
static documentation pages still work.