From 3d7866bdc862ebc3cb0d9fd860fac32eb62fbb30 Mon Sep 17 00:00:00 2001 From: Thomas Eizinger Date: Tue, 27 Feb 2024 11:48:14 +1100 Subject: [PATCH] chore: remove markdownlint config files (#3774) I couldn't find any mention of a `markdownlint` tool anywhere in our repository via `rg --hidden markdownlint`. It doesn't seem to run in CI. --- .markdownlint.json | 7 ------- .markdownlintignore | 4 ---- 2 files changed, 11 deletions(-) delete mode 100644 .markdownlint.json delete mode 100644 .markdownlintignore diff --git a/.markdownlint.json b/.markdownlint.json deleted file mode 100644 index 90b0cce36..000000000 --- a/.markdownlint.json +++ /dev/null @@ -1,7 +0,0 @@ -{ - "MD002": false, - "MD013": { - "code_blocks": false, - "tables": false - } -} diff --git a/.markdownlintignore b/.markdownlintignore deleted file mode 100644 index 023792dc3..000000000 --- a/.markdownlintignore +++ /dev/null @@ -1,4 +0,0 @@ -.docusaurus -node_modules -src -static