3

I have a git repository, on which I changed a folder's name to all lower caps. I successfully pushed the change, and when I do a git pull, I only get the new folder name, but when I go to gitlab and I view my branch, I have both folders Foo and foo on my branch.

How do I purge this from my repository?

Heatmanofurioso
  • 968
  • 7
  • 19
  • 1
    Possible duplicate of [Is it possible to move/rename files in Git and maintain their history?](https://stackoverflow.com/questions/2314652/is-it-possible-to-move-rename-files-in-git-and-maintain-their-history) – Jon Miles Feb 18 '18 at 10:59
  • I'm sure the reason is some files faile to change their path. Check the Foo contents – max630 Feb 18 '18 at 12:30
  • I don't know easy way to fix it at case-insensitive filesystem... maybe somebody has an idea – max630 Feb 18 '18 at 12:31

2 Answers2

0

If depends on your remote repository hosting service.

On GitLab, for instance, you can go to the folder you don't want, and you can delete the files there: that folder will then disappear.

It would be easier to have a "delete" button for the folder itself, but that is still pending (issue 3518)

The idea remains: try and fix the issue on the remote side (the Git repo hosting service) instead of locally (the local clone).
Then clone again.

VonC
  • 1,262,500
  • 529
  • 4,410
  • 5,250
0

If we do git log --follow [file] we are able to see the file renaming history, but this is not an answer to the question that I asked initialy.

Essentially, it is not possible to do so

Heatmanofurioso
  • 968
  • 7
  • 19