fix race condition with push.py