git clone adresse //enregistre dans le dossier courant git pull //MAJ git status //voir fichiers modifiés pas encore ajoutés git checkout -b nomdelabranche //crée une nouvelle branche et aller dessus git checkout nomdelabranche //aller dans la branche déjà créée git merge nomdelabranche git add truc.c // ou git add . git commit -m 'bonjour close #3' git push /* .bashrc -> export GIT_SSL_NO_VERIFY=true Si jamais on ne créer pas de clé sécurité */ /*créer la clé :sur github : generating a new SSH key and adding it to the ssh-agent on fait la démarche sur le site après soit on fait cat id_rsa.pub ou mieux on fait vim id_rsa.pub comme ça on voit le "fingerprint" Dans git : on ajoute cette clé en mettant ce fingerprint*/ configurer le compte git config --global user.name "ldamiens" git config --global user.email "lutecia.damiens@polytech-lille.net"