3 ms·Relevant xkcd: https://xkcd.com/810/ https://xkcd.com/810/by xtreme 3y agoRelevant xkcd: https://xkcd.com/810/ https://xkcd.com/810/Tepix 3y agoThus, we win once the bots submit useful PRs.