Did not use git mv to rename a file