I was looking into Pagure CI with Jenkins, but it wasn't clear if there
is a Fedora-provided Jenkins server or if someone needs to bring their
own Jenkins build infrastructure for Pagure CI.
If there is a Fedora-provided Jenkins, could someone point me towards
documentation on requesting an account / getting started?
Justin W. Flory