> -----Original Message----- > From: Andrea Pescetti [mailto:[email protected]] > Sent: Wednesday, September 28, 2016 11:00 AM > To: [email protected] > Subject: Re: Bootstrap fails > > 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.
How long has it been broken? Has infra been asked to fix it? Github mirrors do get stuck and go stale on occasion, and an Infra Jira to ask them to unstick it on those occasions should work. (If not then we ask to have it removed) Gav... > > Regards, > Andrea. > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > > > > ----- > No virus found in this message. > Checked by AVG - www.avg.com > Version: 2016.0.7797 / Virus Database: 4664/13099 - Release Date: 09/27/16 --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
