> On Jan 19, 2021, at 18:51, Tom Lane <tgl@sss.pgh.pa.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@thebuild.com