mirror of
https://github.com/sourcebot-dev/sourcebot.git
synced 2025-12-11 20:05:25 +00:00
44 lines
No EOL
1.3 KiB
JSON
44 lines
No EOL
1.3 KiB
JSON
{
|
|
"$schema": "http://json-schema.org/draft-07/schema#",
|
|
"title": "AppConfig",
|
|
"definitions": {
|
|
"GitHubAppConfig": {
|
|
"type": "object",
|
|
"properties": {
|
|
"type": {
|
|
"const": "githubApp",
|
|
"description": "GitHub App Configuration"
|
|
},
|
|
"deploymentHostname": {
|
|
"type": "string",
|
|
"format": "hostname",
|
|
"default": "github.com",
|
|
"description": "The hostname of the GitHub App deployment.",
|
|
"examples": [
|
|
"github.com",
|
|
"github.example.com"
|
|
]
|
|
},
|
|
"id": {
|
|
"type": "string",
|
|
"description": "The ID of the GitHub App."
|
|
},
|
|
"privateKey": {
|
|
"$ref": "./shared.json#/definitions/Token",
|
|
"description": "The private key of the GitHub App."
|
|
}
|
|
},
|
|
"required": [
|
|
"type",
|
|
"id",
|
|
"privateKey"
|
|
],
|
|
"additionalProperties": false
|
|
}
|
|
},
|
|
"oneOf": [
|
|
{
|
|
"$ref": "#/definitions/GitHubAppConfig"
|
|
}
|
|
]
|
|
} |