git mv command

The git mv command is a thin convenience command to move a file and then run git add on the new file and git rm on the old file.