GitHub intègre les pull requests empilées pour résoudre les gros fusions