# One file is in one place in the server's repo but in another in local ones. 1 messages from 2010-11-29 to 2010-11-29. Participants: Alfonso de la Osa. Thread: https://gitlist.dev/t/25872 ## Alfonso de la Osa, 2010-11-29 17:39 Subject: One file is in one place in the server's repo but in another in local ones. Message-ID: URL: https://gitlist.dev/e/AANLkTi%3DCC8wa%2BC3xq5fc6mM58-Xo8yXRuFox6Yx9Uqvw%40mail.gmail.com In-Reply-To: ``` Hi, I have a problem, it may be a bug. I have only one branch (master), I pushed some changes when I moved one file to a folder that was called in the same way than the original but in lowercase lib/Imagine/Imagine.php => lib/imagine/Imagine.php, Then I decided to move it back and removed the new folder and pushed it in another commit. so the file is like this: lib/Imagine/Imagine.php again, the lowercase folder imagine exist no more But now the repo has two folders Imagine and imagine, when I change anything, the repo takes the changes: added a README file, changed some lines in Imagine.php (the conflicted file), and everything goes right, in my computers everything is in the place, but in github or when I do a new clone, the file is in the wrong folder (with the last changes ok, but in the wrong place) and is the only thing that is not ok. How can I test if this is a bug? how can I solve it if it isn't? Thank you for your time! -- alfonso.delaosa@gmail.com Alfonso de la Osa ```