From 70681e3698d5c368fc0dc0013e1f4b01931ba8bd Mon Sep 17 00:00:00 2001
From: Hugo van Kemenade <1324225+hugovk@users.noreply.github.com>
Date: Thu, 12 Sep 2024 18:17:03 +0300
Subject: [PATCH] Ignore GitHub anchors when checking links

---
 docs/conf.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 8551005..b5f741b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -52,10 +52,11 @@
 
 # A list of patterns to ignore when checking for broken links
 linkcheck_ignore = [
+    # The crawler gets "Anchor not found"
+    r"https://github.com.+?#.*",
+    r"https://hackmd\.io/[^?]+\?[^#]+#.+",
     # RTD preview builds:
     r"https://[a-zA-Z0-9.-]+\.org\.readthedocs\.build/[a-zA-Z0-9.-]+/[a-zA-Z0-9.-]+/",
     # Deleted Plausible page:
     r"https://plausible\.io/share/hugovk-cpython\.readthedocs\.io\?auth=XDF9fK3EB2dEHCr4sC9hn",
-    # HackMD anchors:
-    r"https://hackmd\.io/[^?]+\?[^#]+#.+",
 ]