René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"`sphinx-lint` now ignores default roles in docs' `make check`","articleBody":"We have a GitHub workflow for documentation that runs `make check`:\r\nhttps://github.com/python/cpython/blob/7d7a378c1a351a2074e9e46838718a2dcbef2948/.github/workflows/doc.yml#L43-L44\r\n\r\n`make check` runs \r\nhttps://github.com/python/cpython/blob/7d7a378c1a351a2074e9e46838718a2dcbef2948/Doc/Makefile#L215-L217\r\n\r\nBy default `sphinx-lint` only reports errors with a severity `\u003e=1`:\r\nhttps://github.com/sphinx-contrib/sphinx-lint/blob/b25d09c5a0cf15030c575d18078d815724a1e3e0/sphinxlint.py#L453-L459\r\n\r\nThe severity of the \"default role\" check (i.e. making sure that no single `` `...` `` are used), was recently changed to `severity=0` in https://github.com/sphinx-contrib/sphinx-lint/commit/999b43d52e98c117eeea9a5bad2728bb2808b092.\r\n\r\nThis means that the use of the default role is no longer caught as an error by `make check`.\r\n\r\n\r\nSee also #86404.\r\n\r\n (Thanks to @AlexWaygood for noticing the issue. cc @JulienPalard)","author":{"url":"https://github.com/ezio-melotti","@type":"Person","name":"ezio-melotti"},"datePublished":"2022-05-04T04:31:18.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/92289/cpython/issues/92289"}