git tools rename file names in git repo

solution

1. you only need on command

        $ git mv old_filename.py new_filename.py
   

2. reference