Re: Current status of emba.gnu.org?

[Stefan Monnier]

> BTW, is there any reason not to check more often than every 5 minutes?

FWIW, I wouldn't try to pull more frequently unless there's a clear and
concrete need for it.

OTOH we could subscribe to the commit-diffs and pull from the
.procmailrc instead of doing it from a cron job, so we don't need
to poll at all.


        Stefan