How can I delete an empty folder locally, and also this will happen for other collaborators who share the console using pull-push? I know that folders are not tracked in this sense by git, but the question remains.
eg. I moved the file to another folder and made a change (move).
But I canβt git rm name folder, because I get the "does not match" git rmdir name does not exist.
I can do git clean -f folder , but how to push it?
I can use rm directly to use this file, but how can I make this directory deletion correct and pushed to the repository, and then to the other when they pull out to delete the existing folder?
git directory folder rm rmdir
Michael Durrant Apr 09 2018-12-12T00: 00Z
source share