How can I remove an empty folder locally and also have that happen for other collaborators that share the remote via pull-push? I know that folders aren't 'tracked' in that sense by git but the question remains.
e.g. I moved a file to another folder and committed the change (of the move).
But I can't git rm name
the folder as I get "doesn't match"
git rmdir name
doesn't exist.
I can do a git clean -f folder
but how does that get pushed up?
I can directly rm
the file but how do I get that directory removal done correctly and pushed to the repository and then out to others when they pull so that their existing folder gets deleted?.