Add support for ignoring URLs (no fetching) with wildcards.

[es-fabricemarie]

Support ignoring a configurable list of URLs.

Useful when a documentation project has a lot of URLs that are not reachable or that are not authorized to access without additional cookies. Organization level Github private repositories are a good example.

[manuzhang]

have you tried out raise_error_excludes?

[es-fabricemarie]

I have tried raise_error_excludes but unlike ignore_urls, raise_error_excludes actually:

• fetch the URL first (I don't want to fetch URLs that I know are "broken" for the tool, because it's very slow).
• does not support wildcards except the exact * (you cannot do https://github/toto/* for example)

That's why I suggest we need both.

[manuzhang]

@es-fabricemarie I think the points you raised need to be fixed for raise_error_excludes. How about enhancing it with your solutions for ignore_urls?

[manuzhang]

@es-fabricemarie do you have time to port your changes to raise_error_excludes? If not, I'd like to pick up your work and co-author a PR with you.

[es-fabricemarie]

@es-fabricemarie do you have time to port your changes to raise_error_excludes? If not, I'd like to pick up your work and co-author a PR with you.

Hi @manuzhang, sorry I just noticed your message. Sure please go ahead, I will not have the time.

[manuzhang]

After more thoughts and experiments, I'd like to keep this feature apart from raise_error_excludes. Sorry for holding up this PR for so long.