mirror of
https://github.com/github/codeql.git
synced 2026-06-14 09:21:07 +02:00
36 lines
1.0 KiB
XML
36 lines
1.0 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<settings>
|
|
|
|
<mirrors>
|
|
|
|
<mirror>
|
|
|
|
<id>mirror-force-central</id>
|
|
|
|
<name>Mirror Repository</name>
|
|
|
|
<url>https://repo1.maven.org/maven2</url>
|
|
|
|
<mirrorOf>*,!codeql-depgraph-plugin-repo</mirrorOf>
|
|
|
|
</mirror>
|
|
|
|
</mirrors>
|
|
|
|
<profiles>
|
|
<profile>
|
|
<id>codeql-depgraph-plugin-repo</id>
|
|
<pluginRepositories>
|
|
<pluginRepository>
|
|
<id>codeql-depgraph-plugin-repo</id>
|
|
<name>CodeQL Dependency Graph Plugin Repository</name>
|
|
<url>file://[dist-root]/java/tools/ferstl-depgraph-dependencies/</url>
|
|
</pluginRepository>
|
|
</pluginRepositories>
|
|
</profile>
|
|
</profiles>
|
|
<activeProfiles>
|
|
<activeProfile>codeql-depgraph-plugin-repo</activeProfile>
|
|
</activeProfiles>
|
|
</settings>
|