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. - 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