Refine push.py