Hi,
In article <can4prmavggqn3zm1atde5cadjszzlovpoqasjrzfuvrkrqs...@mail.gmail.com>,
David Coombes<webe...@gmail.com> wrote:
> The only suggestion I can think of is that the name wasn't cleared
> after the "git add *" and then git went looking for an earlier copy.
> But seems the issue is with the git client as well because of the
> modified time. If it were pulled then the modified time would've
> changed, so it must have been taken from an earlier commit on my local
> branch.
Did you git rm the 'old' name of the folder?
Andy
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
