Re: [libvirt] [jenkins-ci PATCH v3 01/12] jobs: Rename git-url -> git_url