commit 0e04f880811723c5faafcd5103776d41d979cf97
parent 9b768d6b3d4087109d1fe697d3584a7699ba9f32
Author: Yochem van Rosmalen <git@yochem.nl>
Date: Tue, 16 Dec 2025 05:46:15 +0100
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.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git 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.