On Tue, 18 Nov 2014, Michael Prokop wrote:

> 
> Michael Prokop <mika@grml.org> added the comment:
> 
> Alex, is there any chance in getting push mirroring on our infrastructure?
in general, sure. But that would mean every mirror provider has to give us
ssh access to a trigger script.

Alex