Docker official jenkins repo. Contribute to jenkinsci/docker development by creating an account on GitHub.