Gestion des conflits avec Github