Mergepatrol

← Changelog

Fixed#133

A PR merged by hand mid-job leaves the queue cleanly

If you merge or close a queued PR yourself while its checks run, the queue now lets it go instead of trying to rebase a branch that’s gone. Hosted jobs also start warm about 95% of the time, up from about 60%.