Checking out remote branchesDeleting 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