4 ms·We do a lot of PRs as well. Most are automatically created and pushed.by deepsun 1y agoWe do a lot of PRs as well. Most are automatically created and pushed.