git.postgresql.org ok?

Hello,

The mails that I get today from pgsql-committers contain links (as
usual) to git.postgresql.org
but these links don't seem to give valid pages: I get what looks like a
gitweb page but with '404 - Unknown commit object '

example:
https://git.postgresql.org/pg/commitdiff/15cb2bd27009f73a84a35c2ba60fdd105b4bf263

And I can git-pull without error but nothing more recent than this:

-----------------------
commit ae3259c55067c926d25c745d70265fca15c2d26b
Author: Alvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)org>
Date: Fri Jun 19 16:46:07 2020 -0400

Ensure write failure reports no-disk-space

A few places calling fwrite and gzwrite were not setting errno to
ENOSPC
when reporting errors, as is customary; this led to some failures
being
-----------------------

I don't know exactly where things are going wrong - could even be local
here but I don't think so.. do others see the same thing?

Thanks,

Erik Rijkers