diff options
Diffstat (limited to '.github/config-schema.json')
| -rw-r--r-- | .github/config-schema.json | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.github/config-schema.json b/.github/config-schema.json index 20e4fa3b6..98d6348ae 100644 --- a/.github/config-schema.json +++ b/.github/config-schema.json @@ -1499,6 +1499,7 @@ "disabled": true, "format": "[$symbol$shlvl]($style) ", "repeat": false, + "repeat_offset": 0, "style": "bold yellow", "symbol": "↕️ ", "threshold": 2 @@ -5243,6 +5244,12 @@ "default": false, "type": "boolean" }, + "repeat_offset": { + "default": 0, + "type": "integer", + "format": "uint64", + "minimum": 0.0 + }, "style": { "default": "bold yellow", "type": "string" |