How One CEO Shipped 52 PRs While on Vacation