Re: [libvirt] [jenkins-ci PATCH 2/2] jobs: Switch to github webhook instead of polling