That's not the question. I'm not concerned about mirroring my stuff. I'm concerned about the disappearance of other people's stuff, perhaps forgotten by them but still used by others, if Github tanks.