Re: Jenkins in the Fedora infrastructure