Mémo des commandes utilisées

Récupération du dossier distant :

git clone "https://******.git"

Identification

git config --global user.email yishan@protonmail.com

Modification du fichier / des fichiers, ensuite :

git add "mon_fichier"

git commit -m "commentaire" 

envoi sur Github :

git push

suppression d’un fichier :

git rm "mon_fichier"

git commit -m "commentaire"