Am 14.08.2017 um 09:05 schrieb Benedikt Ritter:
Am 13.08.2017 um 20:24 schrieb Pascal Schumacher<pascalschumac...@gmx.net>:

Hello everybody,

just a small detail.

For some retired components there are still github mirrors (with an empty 
repository):

https://github.com/apache/commons-primitives

https://github.com/apache/commons-betwixt

https://github.com/apache/commons-attributes

Should I create an infra ticket in order to let these mirrors be deactivated?
Yes, let’s do that.

done: https://issues.apache.org/jira/browse/INFRA-14867

We should add that step to our „how to move components to dormant“ 
documentation in the wiki.
https://commons.apache.org/releases/moving-to-dormant.html already contains "Ask Infra to deactivate the git mirror <http://git.apache.org>."

Seems like the deletion is not strictly part of the disabling of the mirror. To quote from the infra ticket:

"We have to manually remove the repos on Github if a mirror disappears since Github 
won't delete it on it's own. But removed the 3 Github repos and verified we aren't 
mirroring anymore"

Cheers,
Pascal

Reply via email to