{
    "$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
}