From: Johannes Schindelin <hidden> Date: 2016-06-15 22:42:15
Hi,
just a thought: maybe in this case -- git fails to recognize a rename --
Pasky's idea would have some merit. You could then provide git with some
extra information a la .git/info/grafts: "Even if you, git, do not believe
it: this file *was* renamed from blah to blop".
Ciao,
Dscho