4 ms·I don't think they set up the mirror, I think github just mirrored their repo.by ma2rten 11y agoI don't think they set up the mirror, I think github just mirrored their repo.