sourcebot/schemas/index.json at f74ae98a1f2ebe3ecc3d9313ff609efb5960dd9a · sourcebot-dev/sourcebot · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
{
    "$schema": "http://json-schema.org/draft-07/schema#",
    "type": "object",
    "definitions": {
        "RepoNameRegexIncludeFilter": {
            "type": "string",
            "description": "Only clone repos whose name matches the given regexp.",
            "format": "regexp"
        },
        "RepoNameRegexExcludeFilter": {
            "type": "string",
            "description": "Don't mirror repos whose names match this regexp.",
            "format": "regexp"
        },
        "ZoektConfig": {
            "anyOf": [
                {
                    "$ref": "#/definitions/GitHubConfig"
                },
                {
                    "$ref": "#/definitions/GitLabConfig"
                }
            ]
        },
        "GitHubConfig": {
            "type": "object",
            "properties": {
                "Type": {
                    "const": "github"
                },
                "GitHubUrl": {
                    "type": "string",
                    "description": "GitHub Enterprise url. If not set github.com will be used as the host."
                },
                "GitHubUser": {
                    "type": "string",
                    "description": "The GitHub user to mirror"
                },
                "GitHubOrg": {
                    "type": "string",
                    "description": "The GitHub organization to mirror"
                },
                "Name": {
                    "$ref": "#/definitions/RepoNameRegexIncludeFilter"
                },
                "Exclude": {
                    "$ref": "#/definitions/RepoNameRegexExcludeFilter"
                },
                "CredentialPath": {
                    "type": "string",
                    "description": "Path to a file containing a GitHub access token.",
                    "default": "~/.github-token"
                },
                "Topics": {
                    "type": "array",
                    "items": {
                        "type": "string"
                    },
                    "description": "Only mirror repos that have one of the given topics"
                },
                "ExcludeTopics": {
                    "type": "array",
                    "items": {
                        "type": "string"
                    },
                    "description": "Don't mirror repos that have one of the given topics"
                },
                "NoArchived": {
                    "type": "boolean",
                    "description": "Mirror repos that are _not_ archived",
                    "default": false
                },
                "IncludeForks": {
                    "type": "boolean",
                    "description": "Also mirror forks",
                    "default": false
                }
            },
            "required": [
                "Type"
            ],
            "additionalProperties": false
        },
        "GitLabConfig": {
            "type": "object",
            "properties": {
                "Type": {
                    "const": "gitlab"
                },
                "GitLabURL": {
                    "type": "string",
                    "description": "The GitLab API url.",
                    "default": "https://gitlab.com/api/v4/"
                },
                "Name": {
                    "$ref": "#/definitions/RepoNameRegexIncludeFilter"
                },
                "Exclude": {
                    "$ref": "#/definitions/RepoNameRegexExcludeFilter"
                },
                "OnlyPublic": {
                    "type": "boolean",
                    "description": "Only mirror public repos",
                    "default": false
                },
                "CredentialPath": {
                    "type": "string",
                    "description": "Path to a file containing a GitLab access token.",
                    "default": "~/.gitlab-token"
                }
            },
            "required": [
                "Type",
                "GitLabURL"
            ],
            "additionalProperties": false
        }
    },
    "properties": {
        "$schema": {
            "type": "string"
        },
        "Configs": {
            "type": "array",
            "items": {
                "$ref": "#/definitions/ZoektConfig"
            }
        }
    },
    "required": [
        "Configs"
    ],
    "additionalProperties": false
}