Re: Files not deleted when merging after a rename
- From
- Mark Desnoyer <mdesnoyer@gmail.com>
- Date
- Jan 21, 2008, 21:45 UTC
- Message-ID
- <d997e2110801211345x6ee35d48s2038fbd773149110@mail.gmail.com>
- In-Reply-To
- <20080121212015.GB5263@steel.home>
Alex,
The directory did not have any untracked files in it. Looking a little more carefully, I realized that there were subdirectories in foo/bar/. All the files in foo/bar and its subdirectories were deleted correctly, but the actual directory structure still exists.
-Mark
On Jan 21, 2008 4:20 PM, Alex Riesen <raa.lkml@gmail.com> wrote:
Show 25 quoted lines
> Mark Desnoyer, Mon, Jan 21, 2008 20:45:07 +0100: > > > Hi, > > > > I've run across a small problem and I was wondering if I could get > > some help. I have two users A and B. They are both git-cloned from a > > common repository on a different server. > > > > User A moves a directory: > > foo/bar/ ==> bar > > using: > > git mv foo/bar bar > > git commit > > git push > > > > Meanwhile, user B is doing some other changes that are completely > > unrelated and has a few local commits. Now, when user B pulls from the > > repository (git pull), and returns no errors merging, the directory > > "bar" is created, but "foo/bar" is not deleted, although, it becomes > > untracked. > > Directories are never tracked. It should have been deleted though. > Did it have (or still has) some untracked files in it? > >