Christophe Pettus <xof@thebuild.com> writes:
>> 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!
Ack, I can get through now. Thanks!
regards, tom lane