diff --git a/cli/src/config-schema.json b/cli/src/config-schema.json index 7d69b38d0..6fbdebc44 100644 --- a/cli/src/config-schema.json +++ b/cli/src/config-schema.json @@ -88,6 +88,11 @@ } } }, + "diff-instructions": { + "type": "boolean", + "description": "Whether to generate the JJ-INSTRUCTIONS file as part of editing a diff", + "default": true + }, "graph": { "type": "object", "description": "Options for rendering revision graphs from jj log etc",