now actually runs...
moved format_for_submission to push.py