mirrors

Mirrors of interesting git repositories from elsewhere on the web.