https://git.postgresql.org/git/postgresql.git/ fails

On 28.08.23 08:09, Erik Rijkers wrote:

I normally pull from
  https://git.postgresql.org/git/postgresql.git/

but for a few hours now it's been failing (while other git repo's are
still reachable).

Is it me or is there a hiccup there?

I see the same problem. Also, the buildfarm hasn't reported anything
for a few hours.