Patricia Shanahan wrote:
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?
If there is agreement, we can ask Infra to remove it. This (once we do
have agreement) can be done by reopening
https://issues.apache.org/jira/browse/INFRA-11601
or opening a similar Infra issue, saying that the project has consensus
on removing the broken Github (non-)mirror.
Regards,
Andrea.
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org
For additional commands, e-mail: dev-h...@openoffice.apache.org
