G github.blog How GitHub uses merge queue to ship changes every day 6 points martinpeck 2 years ago 0 comments