get:pushing_to_an_updated_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
get/pushing_to_an_updated_remote_branch.txt · Last modified: 2016/05/02 16:08 by leo