commons-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Pascal Schumacher <>
Subject Re: Empty repositories for some retired components on github
Date Mon, 14 Aug 2017 21:00:33 GMT
Am 14.08.2017 um 09:05 schrieb Benedikt Ritter:
>> Am 13.08.2017 um 20:24 schrieb Pascal Schumacher<>:
>> Hello everybody,
>> just a small detail.
>> For some retired components there are still github mirrors (with an empty repository):
>> Should I create an infra ticket in order to let these mirrors be deactivated?
> Yes, let’s do that.


> We should add that step to our „how to move components to dormant“ documentation
in the wiki. already 
contains "Ask Infra to deactivate the git mirror <>."

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"


  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message