Code Editor : push.py