A repository for Jenkins settings