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