How GitHub uses merge queue to ship changes every day | Dark Hacker News