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