mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-11 20:05:25 +00:00
30 lines
No EOL
1.2 KiB
JSON
30 lines
No EOL
1.2 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"type": "object",
|
|
"title": "GenericGitHostConnectionConfig",
|
|
"properties": {
|
|
"type": {
|
|
"const": "git",
|
|
"description": "Generic Git host configuration"
|
|
},
|
|
"url": {
|
|
"type": "string",
|
|
"format": "url",
|
|
"description": "The URL to the git repository. This can either be a remote URL (prefixed with `http://` or `https://`) or a absolute path to a directory on the local machine (prefixed with `file://`). If a local directory is specified, it must point to the root of a git repository. Local directories are treated as read-only modified. Local directories support glob patterns.",
|
|
"pattern": "^(https?:\\/\\/[^\\s/$.?#].[^\\s]*|file:\\/\\/\\/[^\\s]+)$",
|
|
"examples": [
|
|
"https://github.com/sourcebot-dev/sourcebot",
|
|
"file:///path/to/repo",
|
|
"file:///repos/*"
|
|
]
|
|
},
|
|
"revisions": {
|
|
"$ref": "./shared.json#/definitions/GitRevisions"
|
|
}
|
|
},
|
|
"required": [
|
|
"type",
|
|
"url"
|
|
],
|
|
"additionalProperties": false
|
|
} |