Uploading push.py to git, even though I don't really know what it does