Christoph Emmersberger wrote:
Just wanted to raise the question, if mirroring has been considered at any stage, or if this is completely out of scope. The mirrors are rather a developer convenience and not meant to replace the main repositories.
If you are suggesting that this mirroring happens on Github, please make sure first that it's not violating Github's terms of service: despite recent amendments, https://github.com/blog/1302-goodbye-uploads still seems to prohibit the kind of use OpenOffice does of Apache Extras, i.e., a repository for external tarballs: https://code.google.com/a/apache-extras.org/p/ooo-extras/downloads/list
Regards, Andrea.
