Cómo eliminar una carpeta en GitLab usando la console

He creado erróneamente una carpeta llamada src en mi repository de GitLab y ahora quiero eliminar esta carpeta. He intentado eliminarlo de varias forms, pero solo puedo eliminarlo localmente, pero no en mi repository de GitLab. Esta carpeta todavía está allí y quiero deshacerme de ella. He intentado esos commands

 git rm -r src git commit -m "Remove directory" git push -u origin master 

pero aún no elimina la carpeta en mi repository de GitLab.

También he intentado esto:

 git rm -r --cached src 

y ninguno de ellos parece funcionar para mí.

Git no rastrea directorys, solo sus contenidos. Pero git rm -r src debería haberlo hecho. Aquí hay cosas posibles para verificar.

¿El git push exitoso? De lo contrario, el control remoto no se actualizará.

Verifica que el origin sea ​​lo que crees que es con git remote -v .

Verifica que estés mirando la twig correcta, master .

Si estás hablando de lo que Gitlab muestra en un browser web, crea un nuevo clon de tu repository y comtesting si src aún está allí. Si no es así, es probable que sea un problema con su pantalla web, posiblemente un problema de almacenamiento en caching.

Si después de haber hecho todo eso y todavía está desconcertado, contáctese con Gitlab al respecto.

WRT git rm --cached , the --cached refiere al área de ensayo (también llamada caching, también llamada índice). Es donde git add copys de files para build el próximo commit. Vive en su máquina y no tiene nada que ver con su problema.