Hi Jeremy,
Jenkins builds can be just triggered by editing the commit message without doing any changes to it. Just save it, which updates the commit date. That is enough to trigger Jenkins.
For instance, run `git commit --amend`, don't do any changes, just save it and repush as usual (though with HEAD:refs/for/main now).
Felix
On Mon, 2023-09-11 at 14:37 -0700, Compostella, Jeremy wrote:
Hi,
Most of my gerrit patches moved to the main branch over the week-end. But they lost reviews score such +2 or V+1. Typically, https://review.coreboot.org/c/coreboot/+/77615. If V+1 is mandatory how do I trigger the Jenkins gerrit build ?
Regards,