Reputation: 411
I have a repository on github with two folders with the same name but different content. I would like to remove one of these folders. The problem is that if I list the data in the repo locally, there is only one folder (with the content I would like to keep).
Obviously something went wrong in an earlier commit.
Any ideas how I remove one of these folder without removing the other?
Upvotes: 4
Views: 2759
Reputation: 1324268
is that if I list the data in the repo locally, there is only one folder (with the content I would like to keep).
Then it is possible that a git status shows you the second one, deleted.
Or that your OS was not able to load it, because it is case insensitive
Register that deletion to the index, commit and push:
git rm --cached -r secondFolder/
git add -A .
git commit -m "delete folder"
git push
Upvotes: 4