GIT¶ choisir l'user au moment du push (https):¶ git -c user.email=name@mail.com -c user.name="Anas Asmi" commit -m "first commit" Commentaires