I have recently acquired a couple corrupted files in my github repository. I have deleted them from my host but I'm having trouble removing them with git because they have messed up names. They show up like this under git status
# Changes not staged for commit:
# (use "git add/rm <file>..." to update what will be committed)
# (use "git checkout -- <file>..." to discard changes in working directory)
#
# deleted: "\001\006@@x\021@8"
# deleted: "path/to/\001\006@@x\021@8"
#
I've tried
git rm "path/to/\001\006@@x\021@8"
But I get the error
fatal: pathspec 'path/to/\001\006@@x\021@8' did not match any files
Any idea how I can properly remove these files from the repo?