modify push.py