make the update script a generic push script, to always get the order right