From 7226aaedf2dd0dd34a7373859d25da45c7cd3eaa Mon Sep 17 00:00:00 2001 From: ibrahim dursun Date: Mon, 15 Jul 2024 11:21:38 +0100 Subject: [PATCH] feat(jujutsu): update config schema --- .github/config-schema.json | 47 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 47 insertions(+) diff --git a/.github/config-schema.json b/.github/config-schema.json index 37144b218..893de34aa 100644 --- a/.github/config-schema.json +++ b/.github/config-schema.json @@ -905,6 +905,22 @@ } ] }, + "jujutsu": { + "default": { + "detect_folders": [ + ".jj" + ], + "disabled": false, + "format": "$symbol $commit_info ", + "symbol": "jj", + "template": "\nseparate(\" \",\n change_id.shortest(6),\n branches.map(|x| if(\n x.name().substr(0, 20).starts_with(x.name()),\n x.name().substr(0, 20),\n x.name().substr(0, 19) ++ \"…\")\n ).join(\" \"),\n if(\n description.first_line().substr(0, 24).starts_with(description.first_line()),\n description.first_line().substr(0, 24),\n description.first_line().substr(0, 23) ++ \"…\"\n ),\n if(conflict, \"conflict\"),\n if(divergent, \"divergent\"),\n if(hidden, \"hidden\"),\n)" + }, + "allOf": [ + { + "$ref": "#/definitions/JujutsuConfig" + } + ] + }, "julia": { "default": { "detect_extensions": [ @@ -4112,6 +4128,37 @@ }, "additionalProperties": false }, + "JujutsuConfig": { + "type": "object", + "properties": { + "format": { + "default": "$symbol $commit_info ", + "type": "string" + }, + "symbol": { + "default": "jj", + "type": "string" + }, + "template": { + "default": "\nseparate(\" \",\n change_id.shortest(6),\n branches.map(|x| if(\n x.name().substr(0, 20).starts_with(x.name()),\n x.name().substr(0, 20),\n x.name().substr(0, 19) ++ \"…\")\n ).join(\" \"),\n if(\n description.first_line().substr(0, 24).starts_with(description.first_line()),\n description.first_line().substr(0, 24),\n description.first_line().substr(0, 23) ++ \"…\"\n ),\n if(conflict, \"conflict\"),\n if(divergent, \"divergent\"),\n if(hidden, \"hidden\"),\n)", + "type": "string" + }, + "disabled": { + "default": false, + "type": "boolean" + }, + "detect_folders": { + "default": [ + ".jj" + ], + "type": "array", + "items": { + "type": "string" + } + } + }, + "additionalProperties": false + }, "JuliaConfig": { "type": "object", "properties": {