Re: gitweb is no longer a real-time view

Stephen Frost <sfrost@snowman.net> writes:
> * Tom Lane (tgl@sss.pgh.pa.us) wrote:
>> It used to be that http://git.postgresql.org/gitweb/?p=postgresql.git
>> would update within a minute or so after somebody pushed something.

> The cronjob which syncs the between the git master and
> git.postgresql.org appears to run once every 15 minutes (unchanged since
> mid-2011).

cron job?  I was under the impression there was some sort of push
operation driven by a commit trigger.  The web site has certainly
updated nearly immediately for as long as we've been using git.
Until this week, that is.
        regards, tom lane