Andrew Dunstan <andrew@dunslane.net> writes:
> Dave Page wrote:
>> I can bump that up as high as you'd like within reason. 4? 6 times a day?
> Let's go for 6, at least for HEAD.
There's probably no need to check the back branches oftener than once a
day, but if you can do HEAD every 4 hours that'd be great ...
regards, tom lane