How GitHub uses merge queue to... Note