diff options
Diffstat (limited to '.github/config-schema.json')
-rw-r--r-- | .github/config-schema.json | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/.github/config-schema.json b/.github/config-schema.json index b36ad6333..bb5fdd858 100644 --- a/.github/config-schema.json +++ b/.github/config-schema.json @@ -1148,6 +1148,25 @@ } ] }, + "odin": { + "default": { + "detect_extensions": [ + "odin" + ], + "detect_files": [], + "detect_folders": [], + "disabled": false, + "format": "via [$symbol($version )]($style)", + "show_commit": false, + "style": "bold bright-blue", + "symbol": "Ø " + }, + "allOf": [ + { + "$ref": "#/definitions/OdinConfig" + } + ] + }, "opa": { "default": { "detect_extensions": [ @@ -4664,6 +4683,55 @@ }, "additionalProperties": false }, + "OdinConfig": { + "type": "object", + "properties": { + "format": { + "default": "via [$symbol($version )]($style)", + "type": "string" + }, + "show_commit": { + "default": false, + "type": "boolean" + }, + "symbol": { + "default": "Ø ", + "type": "string" + }, + "style": { + "default": "bold bright-blue", + "type": "string" + }, + "disabled": { + "default": false, + "type": "boolean" + }, + "detect_extensions": { + "default": [ + "odin" + ], + "type": "array", + "items": { + "type": "string" + } + }, + "detect_files": { + "default": [], + "type": "array", + "items": { + "type": "string" + } + }, + "detect_folders": { + "default": [], + "type": "array", + "items": { + "type": "string" + } + } + }, + "additionalProperties": false + }, "OpaConfig": { "type": "object", "properties": { |