| mirror_jenkins_source: http://pkg.jenkins-ci.org/debian/ |
| mirror_jenkins_distribution: binary/ |
| mirror_jenkins_components: "" |
| mirror_jenkins-debian-glue_source: http://jenkins.grml.org/debian/ |
| mirror_jenkins-debian-glue_distribution: jenkins-debian-glue |
| mirror_jenkins-debian-glue_components: main |
| # TODO: this key is not uploaded to keyserver, workaround: |
| # su aptly -c 'curl http://jenkins.grml.org/debian/C525F56752D4A654.asc|gpg --no-default-keyring --keyring trustedkeys.gpg --import' |
| mirror_jenkins-debian-glue_gpgkeys: |
| source: ${_param:mirror_jenkins_source} |
| distribution: ${_param:mirror_jenkins_distribution} |
| components: ${_param:mirror_jenkins_components} |
| gpgkeys: ${_param:mirror_jenkins_gpgkeys} |
| source: ${_param:mirror_jenkins-debian-glue_source} |
| distribution: ${_param:mirror_jenkins-debian-glue_distribution} |
| components: ${_param:mirror_jenkins-debian-glue_components} |
| gpgkeys: ${_param:mirror_jenkins-debian-glue_gpgkeys} |