Improving developer velocity with GitHub merge queue

GitHub merge queue reduces the manual churn of keeping pull requests current by automatically retesting them in order before merge.