How Stripe’s Minions Ship 1,300 PRs a Week