On Wed, Mar 11, 2020 at 3:20 PM Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> 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.
Dang. I found a place where I missed updating an IP address in an
access list when the machine changed IP the other day :/
Should hopefully be fixed now, but please keep an eye out and let me
know if you see further issues.
--
Magnus Hagander
Me: https://www.hagander.net/
Work: https://www.redpill-linpro.com/