I manually renamed the file, deleting the old one and adding a new one with a new name. How do I undo this in the commit history and use git mv instead? I need to reinstall my function branch to the updated parent, where the old file name is still used. I do not want to lose the changes both from the file of the old name and from the file with the new name.
source
share