How do I remove an empty folder and push that change?
The short answer: You can’t push changes to directories (added, removed, etc.) because Git does not track directories on their own. According to the FAQ: Currently the design of the git index (staging area) only permits files to be listed, and nobody competent enough to make the change to allow empty directories has cared enough … Read more