Both the lab server push, and the devserver push tools should use "--force-sync". It's required after certain types of manifest changes, and is only dangerous if changes have been submitted locally on the server, which should never happen in the lab.