3 ms·
I think that user means for it to use GitHub as its main repo (which isn’t happening.) What you’ve linked is a mirror.
by edgyquant 5y ago
I think that user means for it to use GitHub as its main repo (which isn’t happening.) What you’ve linked is a mirror.
- OJFord 5y agoI know it's a mirror. As you say still will be, just more mirrored back. Just pointing out it's already 'on GitHub' as much as it will be.