So, we're having this weird issue with Git where a file path got messed up somehow. Here's a screenshot to show what I mean:
The issue is that the second file in the screenshot has "Frontend\UserType.php" (backslash as separator), when it should be "Frontend/UserType.php" (like the top). We're seeing both files for some reason. When I run git ls-files, I get "Frontend\UserType.php" as a file.
My co-worker is using Windows 7 with TortoiseGit, and I'm on Debian and just use git from command line. I'm not sure where the issue first originated, but it's getting to be very frustrating. We've tried deleting the file and pushing but it just keeps coming back somehow.
It has now infected a whole bunch of branches. Does anyone know what the hell is going on? And how we can fix it across multiple branches?