fixed push.py, finally