I have a file called, say, Alpha.cs
, and I want to rename it to, say, Aleph.cs
. I already renamed it in Visual Studio and committed/pushed, and I'm trying to create a pull request. But the person who's reviewing the changes says that I've erased all the history of the file because Visual Studio's git integration is broken and when you rename a file there, it actually deletes and re-adds it, destroying the history.
So is there any way to retroactively turn this delete/add into a rename operation? I could of course make a new branch, do the rename manually using git mv Alpha.cs Aleph.cs
, commit, copy in all the other changes, commit again, push, and make a new pull request, abandoning the existing one. But that seems rather tedious and error prone. There's got to be a better way...