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
