hoe to rename a file in git code example

Example: rename file in git

$ git mv old_filename new_filename