3 ms·More than 30% of public PRs on GitHub are from bots2 points by valyala 2y agodeleted 2y ago[deleted]