how git checks what file to rename code example

Example: git rename file

$ git mv old_filename new_filename