mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-13 12:55:19 +00:00
* 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>
50 lines
No EOL
1.6 KiB
JSON
50 lines
No EOL
1.6 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"type": "object",
|
|
"title": "GerritConnectionConfig",
|
|
"properties": {
|
|
"type": {
|
|
"const": "local",
|
|
"description": "Local Configuration"
|
|
},
|
|
"path": {
|
|
"type": "string",
|
|
"description": "Path to the local directory to sync with. Relative paths are relative to the configuration file's directory.",
|
|
"pattern": ".+"
|
|
},
|
|
"watch": {
|
|
"type": "boolean",
|
|
"default": true,
|
|
"description": "Enables a file watcher that will automatically re-sync when changes are made within `path` (recursively). Defaults to true."
|
|
},
|
|
"exclude": {
|
|
"type": "object",
|
|
"properties": {
|
|
"paths": {
|
|
"type": "array",
|
|
"items": {
|
|
"type": "string",
|
|
"pattern": ".+"
|
|
},
|
|
"description": "List of paths relative to the provided `path` to exclude from the index. .git, .hg, and .svn are always exluded.",
|
|
"default": [],
|
|
"examples": [
|
|
[
|
|
"node_modules",
|
|
"bin",
|
|
"dist",
|
|
"build",
|
|
"out"
|
|
]
|
|
]
|
|
}
|
|
},
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"required": [
|
|
"type",
|
|
"path"
|
|
],
|
|
"additionalProperties": false
|
|
} |