rename file with git mv