2
How GitHub uses merge queue to ship hundreds of changes every day - The GitHub Blog (github.blog)