4 ms·GitHub should remove stars, it has become a petty metric.by richardfey 5y agoGitHub should remove stars, it has become a petty metric.