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"