Comment by solarengineer

Naieve question: Are there any repositories (e.g. Hosted at github) that one should mirror?