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"