From 4c7b4a8bcc6f63f7fc2f0d1820d2b63f8e980271 Mon Sep 17 00:00:00 2001
From: Waleed Khan <me@waleedkhan.name>
Date: Fri, 11 Aug 2023 12:51:17 -0400
Subject: [PATCH] docs: add `diff-instructions` to config schema

---
 cli/src/config-schema.json | 5 +++++
 1 file changed, 5 insertions(+)

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",