Re: Git mirrors

[Óscar Fuentes]

John Wiegley <address@hidden> writes:

> The mirror is running now and mirroring up to Savannah.

Many thanks for doing this.

> Whom do I ask to disable the current mirroring code, so we never step
> on each other?

AFAIK, the only one keeping the savannah git mirror up to date is
Andreas Schwab and he is doing that manually. I'm not sure what's the
actual process he is using, but if it is fast-import/fast-export the
worst thing that could happen is a failed push because the other part
pushed first. In that case a pull should fix things. But he has the
authoritative word on this.

> Also, is there a way to get Bazaar on Savannah to use curl to frob a URL
> whenever a commit is made?  If so, I could change the mirroring scheme to be
> by-commit, rather than hourly.

There are already commit hooks into place (for feeding the emacs-diffs
mailing list, for instance.) What you ask for shouldn't be too
complicated in comparison, but most likely only the savannah admins or
the project owners are authorized for doing that.