docs: add diff-instructions to config schema

2025-01-12 07:14:38 +00:00 · 2023-08-11 12:51:17 -04:00 · 2023-08-11 12:51:17 -04:00 · 4c7b4a8bcc
commit 4c7b4a8bcc
parent 00d2d2d4fc
1 changed files with 5 additions and 0 deletions
--- 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",