Hi,
I noticed that the mirror repository on GitHub may have stopped
mirroring, as the latest commit I see is the following:
https://github.com/postgres/postgres/commit/91102dab44c3406f21bbbc28c1032d49e0721710
which it says: tglsfdc committed 2 days ago
Thanks,
Amit