mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
46 lines
1.4 KiB
XML
46 lines
1.4 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<settings>
|
|
|
|
<profiles>
|
|
|
|
<profile>
|
|
|
|
<id>preexisting-profile</id>
|
|
|
|
<pluginRepositories>
|
|
|
|
<pluginRepository>
|
|
|
|
<id>preexisting-repository</id>
|
|
|
|
<name>A pre-existing repository</name>
|
|
|
|
<url>https://nonesuch.example</url>
|
|
|
|
</pluginRepository>
|
|
|
|
</pluginRepositories>
|
|
|
|
</profile>
|
|
|
|
<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>preexisting-profile</activeProfile>
|
|
|
|
<activeProfile>codeql-depgraph-plugin-repo</activeProfile>
|
|
</activeProfiles>
|
|
|
|
</settings>
|