Re: Current status of emba.gnu.org?

[Michael Albinus]

Stefan Monnier <monnier@iro.umontreal.ca> writes:

Hi Stefan,

>> 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.

I agree. Let's start with the default settings.

> 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.

We have also another option: use a push mirror. That is, emacs.git on
savannah pushes any change to the repository on emba, when it receices
it. We might keep this in mind if needed.

(I haven't configured such a mirror yet, but I believe it must be possible)

>         Stefan

Best regards, Michael.