3 ms·

It has previously happened, in the special case of repos GitHub removed (like DMCAed ones). That is a different case from the original repo owner removing it vo

by mook 8y ago

It has previously happened, in the special case of repos GitHub removed (like DMCAed ones). That is a different case from the original repo owner removing it voluntarily.