Last modified: 2013-05-29 08:02:30 UTC
https://gerrit.wikimedia.org/r/#/c/55289/ was merged without a Verified scored. Unlike bug 43485, which is a race condition in which the score just doesn't show (but exists), this bug is about there actually not being a V+2 at all. This is bad.
After the change's third comment the change briefly had both Verified+2, and Code-Review+2. But given that the "Change has been successfully merged into the git repository." comment is not from "jenkins-bot" but a user, can it be the user submitted directly?
Seems to have been submitted by the user using CR+2 as well. When Zuul receives the CR+2 event, it removes the Verified flag and starts the gate-and-submit pipeline. Since the change got merged, Zuul only reports the message since it is not possible to cast a vote on a closed change. So that is more or less working as expected :-)