a convenient script to push commits to github