Fix gerrit push bug