|<- [[Checking out remote branches]]|[[Deleting a remote branch]] ->| Git ne fera jamais de merge avec un push, il est nécessaire de faire un fetch et de gérer le merge avant de faire un push. fetch -> (merge) -> push