how to push a python file to github