From 6458690d9f65c5acbdc37fb71432f5d54795f6e1 Mon Sep 17 00:00:00 2001
From: Sam Partington <sampart@github.com>
Date: Wed, 5 Apr 2023 12:10:40 +0100
Subject: [PATCH] Move common markdownlint config to top-level file

---
 .markdownlint.json                          |  4 ++++
 extensions/ql-vscode/.markdownlint-cli2.cjs | 13 +++++++++----
 2 files changed, 13 insertions(+), 4 deletions(-)
 create mode 100644 .markdownlint.json

diff --git a/.markdownlint.json b/.markdownlint.json
new file mode 100644
index 000000000..cd07f0001
--- /dev/null
+++ b/.markdownlint.json
@@ -0,0 +1,4 @@
+{
+  "MD013": false,
+  "MD041": false
+}
diff --git a/extensions/ql-vscode/.markdownlint-cli2.cjs b/extensions/ql-vscode/.markdownlint-cli2.cjs
index 510451ac1..917f32d8b 100644
--- a/extensions/ql-vscode/.markdownlint-cli2.cjs
+++ b/extensions/ql-vscode/.markdownlint-cli2.cjs
@@ -1,7 +1,12 @@
-const options = require('@github/markdownlint-github').init({
-  "MD013": false, // Line length
-  "MD041": false, // First line in file should be a top level heading
-})
+// Having the base options in a top-level config file means
+// that the extension can pick them up too, since that only
+// considers _this_ file when looking at files in this directory
+// or below.
+base_options = require('../../.markdownlint.json')
+
+const options = require('@github/markdownlint-github').init(
+  base_options
+)
 module.exports = {
     config: options,
     customRules: ["@github/markdownlint-github"],