python script for git push