changements locaux (diff, liste commit)
Category: Git fondamentaux
git pull git push
Import commit from “server” repository to your own Export your “local” commit to the server repository
mv path/to/element path/to/new/element cp path/to/file path/to/new/file (-r pour répertoire)
qq commandes du terminal (deplacer, copier,