Jenkins in the Fedora infrastructure