Ignore hash for GitHub URLs

The HTML page returned by GitHub no longer contains ID attributes for line numbers or headers (from user's Markdown files); the functionality is implemented in JavaScript now.
anishathalye · Jan 12, 2024 · cfe8d5c · cfe8d5c
1 parent b2de6bb
commit cfe8d5c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/links.yml b/.github/workflows/links.yml
@@ -26,4 +26,5 @@ jobs:
           tokens: |
             {"https://github.com": "${{ secrets.GITHUB_TOKEN }}"}
           swap_urls: |
-            {"^(\\..*)\\.md(#?.*)$": "\\1.md.html\\2"}
+            {"^(\\..*)\\.md(#?.*)$": "\\1.md.html\\2",
+             "^(https://github\\.com/.*)#.*$": "\\1"}