> On Jan 19, 2021, at 18:51, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>
> https://git.postgresql.org/gitweb/?p=postgresql.git
> is giving me an HTTP error I do not think I've ever
> seen before: 502 Bad Gateway.
OK, it should be back on-line. Apologies for the inconvenience!
--
-- Christophe Pettus
xof(at)thebuild(dot)com