Explicitly add information about jenkins repositories