How GitHub uses merge queue to ship changes every day · HackerTrans