From 92e35d1b90ed90da0c584842ec44e462a79e167d Mon Sep 17 00:00:00 2001
From: har7an <99636919+har7an@users.noreply.github.com>
Date: Tue, 2 Dec 2025 10:26:40 +0000
Subject: Fix a few mistakes in the contributing docs. (#11318)

* Fix a typo in the contributing docs.
* Fix link to Lua filter docs, so it works on GitHub.  (A rewrite rule will ensure that it also works on pandoc.org.)
* Update minimum GHC version in contributing docs.
* Add a comment in the respective CI file to keep the version up-to-date
  in the contributing guide.
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

(limited to '.github')

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 751d8f413..83bf86c9d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -46,6 +46,7 @@ jobs:
       fail-fast: true
       matrix:
         versions:
+          # NOTE: Update `CONTRIBUTING.md` when changing the minimum version
           - ghc: '8.10'
             cabal: 'latest'
             cabalopts: '--ghc-option=-Werror'
-- 
cgit v1.2.3