Hi all,
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?
Thanks!