gerrit bot bug

Hi guys, I believe we're experiencing a gerrit bot bug on patch [1]. See this screenshot [2]. Patchset 5 built cleanly, and tried to remove Verified-1, but it couldn't. "Patch Set 5: -Code-Review -Verified Build Successful" but yet "Verified -1 oVirt Jenkins CI Server" We're stuck not being able to merge this patch. I'll fire a manual build to see if a second good build removes it. But this looks like a bug to me. [1] https://gerrit.ovirt.org/#/c/38739/ [2] http://i.imgur.com/uesa9SC.png Greg Sheremeta Red Hat, Inc. Sr. Software Engineer, RHEV Cell: 919-807-1086 gshereme(a)redhat.com