I noticed that crater is reporting about 122,540 repositories as "can't fetch private git repositories". From what I can tell, pretty much all of these are either deleted or private (hidden). Would it be possible to automatically remove these to cut down on the noise (and possibly reduce the load on crater)?
I noticed that crater is reporting about 122,540 repositories as "can't fetch private git repositories". From what I can tell, pretty much all of these are either deleted or private (hidden). Would it be possible to automatically remove these to cut down on the noise (and possibly reduce the load on crater)?