build4: add resync and relunch after gerrit changes