broken job configuration on ci.jenkinsci.org

[James Nord]

Hi all,

What's the correct CI system for core and libs?

ci.jenkins.org is missing some libs, has no pull request builder setup AFAICT and has virtually no plugins - but it is the one referenced from the Jenkins home page jenkins-ci.org)

jenkins.ci.cloudbees.com has some different libs - (some overlap but not all of them), has the pull request builder and plugins - but is not official as far as jenkins-ci is concerned..

Thanks

/James