ti.sil/sourcebot
1
0
Fork 0
mirror of https://github.com/sourcebot-dev/sourcebot.git synced 2025-12-12 04:15:30 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Add zoekt-mirror json schema

Browse source
This commit is contained in:
bkellam 2024-09-04 13:01:43 -07:00
parent c64b457cbc
commit c0ecdccf41
3 changed files with 100 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
configs/config.json
View file

@ -1,9 +1,9 @@
[
{
"GithubOrg": "TaqlaAI",
"NoArchived": true
},
"$schema": "../schemas/zoekt-mirror.json",
"Configs": [
{
"GithubOrg": "basetenlabs"
"Type": "github",
"GitHubUser": "TaqlaAI"
}
]
}

90
schemas/zoekt-mirror.json Normal file
View file

@ -0,0 +1,90 @@
{
"$schema": "http://json-schema.org/draft-07/schema#",
"type": "object",
"definitions": {
"ZoektConfig": {
"anyOf": [
{
"$ref": "#/definitions/GitHubConfig"
}
]
},
"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": {
"type": "string",
"description": "Only clone repos whose name matches the given regexp.",
"format": "regexp"
},
"Exclude": {
"type": "string",
"description": "Don't mirror repos whose names match this regexp.",
"format": "regexp"
},
"CredentialPath": {
"type": "string",
"description": "Path to a file containing a GitHub access 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
}
},
"properties": {
"$schema": {
"type": "string"
},
"Configs": {
"type": "array",
"items": {
"$ref": "#/definitions/ZoektConfig"
}
}
},
"required": [
"Configs"
],
"additionalProperties": false
}

2
vendor/zoekt vendored

@ -1 +1 @@
Subproject commit b0fd0b52e8c6d01b5f13ba283602f291ac34b95a
Subproject commit cab022245653c711f31d1fb0993a7741b11c648a