change name of file git code example

Example: rename file in git

$ git mv old_filename new_filename