finally remembered to fix push.py