https://git.postgresql.org/gitweb/?p=postgresql.gitis giving me an HTTP error I do not think I've everseen before: 502 Bad Gateway.
regards, tom lane