threads / discuss / 25872

One file is in one place in the server's repo but in another in local ones.

Subject: One file is in one place in the server's repo but in another in local ones.

## tl;dr

One message between Nov 29, 2010 and Nov 29, 2010.

replies: 0people: 1as markdown or json

Alfonso de la Osa· Nov 29, 2010, 17:39 UTC · lore

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

← back to recent threads