Stephen Frost <sfrost(at)snowman(dot)net> writes:
> * Tom Lane (tgl(at)sss(dot)pgh(dot)pa(dot)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