Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- <settings>
- <pluginGroups>
- <pluginGroup>org.jenkins-ci.tools</pluginGroup>
- </pluginGroups>
- <profiles>
- <!-- Give access to Jenkins plugins -->
- <profile>
- <id>jenkins</id>
- <activation>
- <activeByDefault>true</activeByDefault> <!-- change this to false, if you don't like to have it on per default -->
- </activation>
- <repositories>
- <repository>
- <id>repo.jenkins-ci.org</id>
- <url>https://repo.jenkins-ci.org/public/</url>
- </repository>
- </repositories>
- <pluginRepositories>
- <pluginRepository>
- <id>repo.jenkins-ci.org</id>
- <url>https://repo.jenkins-ci.org/public/</url>
- </pluginRepository>
- </pluginRepositories>
- </profile>
- </profiles>
- <mirrors>
- <mirror>
- <id>repo.jenkins-ci.org</id>
- <url>https://repo.jenkins-ci.org/public/</url>
- <mirrorOf>m.g.o-public</mirrorOf>
- </mirror>
- </mirrors>
- </settings>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement