git rename file and push code example

Example: rename file in git

$ git mv old_filename new_filename