Junio C Hamano <junkio@xxxxxxx> wrote: > Gerrit Pape <pape@xxxxxxxxxxx> writes: > > > Shouldn't git remove the original file after merging a commit that moved > > the file away? > > I think this has been fixed quite a while ago --- does not seem > to reproduce with the current v1.5.0-rc. Indeed, this commit of mine was supposed to fix it: commit 8371234ecaaf6e14fe3f2082a855eff1bbd79ae9 Author: Shawn Pearce <spearce@xxxxxxxxxxx> Date: Wed Dec 13 05:42:44 2006 -0500 Its in 1.5.0-rc0, but nothing earlier. -- Shawn. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html