mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-13 12:55:19 +00:00
da33220289
* add non github config definitions * refactor github config compilation to seperate file * add gitlab config compilation * Connection management (#183) * wip gitlab repo sync support * fix gitlab zoekt metadata * add gitea support * add gerrit support * Connection management (#183) * add gerrit config compilation * Connection management (#183) --------- Co-authored-by: Brendan Kellam <bshizzle1234@gmail.com>
57 lines
No EOL
1.6 KiB
JSON
57 lines
No EOL
1.6 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"type": "object",
|
|
"title": "GerritConnectionConfig",
|
|
"properties": {
|
|
"type": {
|
|
"const": "gerrit",
|
|
"description": "Gerrit Configuration"
|
|
},
|
|
"url": {
|
|
"type": "string",
|
|
"format": "url",
|
|
"description": "The URL of the Gerrit host.",
|
|
"examples": [
|
|
"https://gerrit.example.com"
|
|
],
|
|
"pattern": "^https?:\\/\\/[^\\s/$.?#].[^\\s]*$"
|
|
},
|
|
"projects": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"description": "List of specific projects to sync. If not specified, all projects will be synced. Glob patterns are supported",
|
|
"examples": [
|
|
[
|
|
"project1/repo1",
|
|
"project2/**"
|
|
]
|
|
]
|
|
},
|
|
"exclude": {
|
|
"type": "object",
|
|
"properties": {
|
|
"projects": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string"
|
|
},
|
|
"examples": [
|
|
[
|
|
"project1/repo1",
|
|
"project2/**"
|
|
]
|
|
],
|
|
"description": "List of specific projects to exclude from syncing."
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"type",
|
|
"url"
|
|
],
|
|
"additionalProperties": false
|
|
} |