From 0e04f880811723c5faafcd5103776d41d979cf97 Mon Sep 17 00:00:00 2001 From: Yochem van Rosmalen Date: Tue, 16 Dec 2025 05:46:15 +0100 Subject: [PATCH] ci(lintdocurls): ignore websites that block GHA #36982 Problem: These URLs seem to be unreachable from GHA CI but are available locally. Solution: Ignore them for now. --- src/gen/gen_help_html.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/gen/gen_help_html.lua b/src/gen/gen_help_html.lua index b7b9ece661..176375f279 100644 --- a/src/gen/gen_help_html.lua +++ b/src/gen/gen_help_html.lua @@ -124,8 +124,6 @@ local exclude_invalid = { -- False-positive "invalid URLs". local exclude_invalid_urls = { - ['http://'] = 'usr_23.txt', - ['http://.'] = 'usr_23.txt', ['http://aspell.net/man-html/Affix-Compression.html'] = 'spell.txt', ['http://aspell.net/man-html/Phonetic-Code.html'] = 'spell.txt', ['http://lua-users.org/wiki/StringLibraryTutorial'] = 'lua.txt', @@ -136,6 +134,8 @@ local exclude_invalid_urls = { ['http://wiki.services.openoffice.org/wiki/Dictionaries'] = 'spell.txt', ['http://www.adapower.com'] = 'ft_ada.txt', ['http://www.jclark.com/'] = 'quickfix.txt', + ['https://cacm.acm.org/research/a-look-at-the-design-of-lua/'] = 'faq.txt', -- blocks GHA? + ['https://linux.die.net/man/2/poll'] = 'luvref.txt', -- blocks GHA? } -- Deprecated, brain-damaged files that I don't care about.