From 4d942547a8155cca4fe2f68afccdb822a174ab1a Mon Sep 17 00:00:00 2001
From: willcl-ark <will@256k1.dev>
Date: Tue, 2 Jul 2024 21:16:03 +0100
Subject: [PATCH] lint: ignore files ignored by git in mlc

Updating to MLC v0.18.0 includes a new feature which will ignore all
files ignored by git: `--gitignore`.

This helps avoid false-positives flagged by this linter in non-project
files, such as a developer might expect to have in their directory (e.g.
guix-builds, python venvs, etc.)
---
 ci/lint/04_install.sh             | 2 +-
 test/lint/test_runner/src/main.rs | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/ci/lint/04_install.sh b/ci/lint/04_install.sh
index 87e3a8fa9b1..550c7b8c920 100755
--- a/ci/lint/04_install.sh
+++ b/ci/lint/04_install.sh
@@ -58,7 +58,7 @@ curl -sL "https://github.com/koalaman/shellcheck/releases/download/${SHELLCHECK_
     tar --xz -xf - --directory /tmp/
 mv "/tmp/shellcheck-${SHELLCHECK_VERSION}/shellcheck" /usr/bin/
 
-MLC_VERSION=v0.16.3
+MLC_VERSION=v0.18.0
 MLC_BIN=mlc-x86_64-linux
 curl -sL "https://github.com/becheran/mlc/releases/download/${MLC_VERSION}/${MLC_BIN}" -o "/usr/bin/mlc"
 chmod +x /usr/bin/mlc
diff --git a/test/lint/test_runner/src/main.rs b/test/lint/test_runner/src/main.rs
index 9c35898c1f1..cb8f3031e2e 100644
--- a/test/lint/test_runner/src/main.rs
+++ b/test/lint/test_runner/src/main.rs
@@ -410,6 +410,7 @@ fn lint_markdown() -> LintResult {
         "--offline",
         "--ignore-path",
         md_ignore_path_str.as_str(),
+        "--gitignore",
         "--root-dir",
         ".",
     ])