Comment supprimer un dossier dans GitLab en utilisant la console
J'ai créé à tort un dossier nommé src dans mon référentiel GitLab et je souhaite maintenant supprimer ce dossier. J'ai essayé plusieurs façons de le supprimer, mais je ne peux le supprimer que localement, mais pas dans mon référentiel GitLab. Ce dossier est toujours là et je veux m'en débarrasser. J'ai essayé ces commandes
git rm -r src
git commit -m "Remove directory"
git Push -u Origin master
mais il ne supprime toujours pas le dossier dans mon référentiel GitLab.
J'ai aussi essayé ceci:
git rm -r --cached src
et aucun d'entre eux ne semble fonctionner pour moi.
Git ne suit pas les répertoires, seulement leur contenu. Mais git rm -r src aurait dû le faire. Voici les choses possibles à vérifier.
Le git Push a-t-il réussi? Sinon, la télécommande ne sera pas mise à jour.
Vérifiez bien que Origin est ce que vous pensez être avec git remote -v.
Vérifiez bien que vous regardez dans la bonne branche, master.
Si vous parlez de ce que Gitlab affiche dans un navigateur Web, créez un nouveau clone de votre référentiel et vérifiez si src est toujours présent. Si ce n'est pas le cas, il s'agit probablement d'un problème d'affichage Web, peut-être d'un problème de mise en cache.
Si, après cela, vous êtes toujours décontenancé, contactez Gitlab à ce sujet.
WRT git rm --cached, le --cached fait référence à la zone de transfert (également appelée cache, également appelée index). C'est là que git add copie les fichiers pour constituer le prochain commit. Il vit sur votre machine et n'a rien à voir avec votre problème.
Supprimez simplement le dossier de votre système local, puis ajoutez tous les éléments , commit , puis Push Origin master .