Make push script a wee bit more generic