For the last day or so I've been noticing that the main summary page
https://git.postgresql.org/gitweb/?p=postgresql.git;a=summary
is lagging behind reality to a significant extent. As I write,
it's showing the latest master commit to be
70 min ago Peter Eisentraut Clean up order in miscinit.c a bit master github/master commit | commitdiff | tree
|snapshot
although in fact Alvaro committed something more than ten minutes
ago, as you can see if you go for example to this page:
https://git.postgresql.org/gitweb/?p=postgresql.git;a=shortlog;h=refs/heads/master
Clearing browser cache doesn't help.
This is quite nasty. Please fix.
regards, tom lane
