How GitHub uses merge queue to ship changes every day
github.blog