2 ms·Thus, we win once the bots submit useful PRs.by Tepix 3y agoThus, we win once the bots submit useful PRs.