Comment by dnlrn

This is just a mirror and not the repo the devs actually work on, so I don't think it's very taxing on the resources.