Re: [libvirt PATCH 4/6] docs: update for rename of libvirt-jenkins.ci repository