On 9/27/2016 3:37 PM, Andrea Pescetti wrote:
On 24/09/2016 Ariel Constenla-Haile wrote:
https://github.com/apache/openoffice
It seems this repo isn't up-to-date, strange... I would have guessed
this was synchronized
I've reported this to INFRA months ago:
https://issues.apache.org/jira/browse/INFRA-11601
The answer they gave (see issue) is unbelievable but well, that's the
situation.
With a Github mirror that not only is clearly useless but is also
damaging the image of the project because of a bug in an external tool,
I wonder why we don't simply close the Github (non-)mirror until the
external tool is fixed.
I understand the attraction of having a Github mirror, but an out of
date one is worse than useless. Who gets to decide to kill it?
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org
For additional commands, e-mail: dev-h...@openoffice.apache.org
