Suppression d'un fichier/répertoire
Pour supprimer un fichier ou un répertoire du projet, il y a aussi une commande dédiée git rm.
Pour un fichier⚓
git rm ./fichier1
git commit -av
git push
Pour un répertoire non vide⚓
Dans ce cas il faut ajouter l'option -r
git rm -r ./rep1
git commit -av
git push
Attention
Attention, la suppression se fait sur le projet distant (une fois qu'on a commité puis pushé) et sur le projet local (dès la commande git rm exécutée)
Remarque
il faut bien comprendre que les commandes git mv et git rm ne sont pas équivalentes aux commandes habituelles mv et rm. Ces dernières agissent sur l'arborescence locale uniquement.
Quant à git mv et git rm, en plus d'agir sur l'arborescence locale, elles écrivent des informations dans la base locale du projet (ie dans le répertoire .git/ à la racine du projet local).
Typiquement, git rm écrit d'une manière ou d'une autre l'information « suppression de tel fichier du projet », information qui sera transmise au projet distant sur GitLab lors du git push.