10 commandes utiles de GIT pour manipuler un repertoire en gestion de configuration tant local que sur un serveur distant comme github, bitbucket ou gitlab.