Skip to content

[TASK] Ignore domains with unknows directives and textroles #867

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Mar 1, 2024

Conversation

linawolf
Copy link
Contributor

No description provided.

@linawolf linawolf marked this pull request as draft February 24, 2024 08:45
@linawolf linawolf requested a review from jaapio February 24, 2024 09:21
@linawolf linawolf marked this pull request as ready for review February 24, 2024 09:21
@linawolf linawolf self-assigned this Feb 24, 2024
@jaapio
Copy link
Member

jaapio commented Feb 24, 2024

Does this also enable known directives and roles in a certain domain? I guess when I read this code it doesn't, so it ignores only the unknown?

@linawolf
Copy link
Contributor Author

For now it only disables unknown directives with domain. We do have no central domain handling in place right now. But introducing such would be beyond the scope of this PR. I think we need to give it more thought.

This PR enables us to check for warnings in the docs again and therefore prevent other kind of warnings

@linawolf linawolf changed the title [TASK] Ignore domains in directives and textroles [TASK] Ignore domains with unknows directives and textroles Feb 26, 2024
@jaapio jaapio force-pushed the task/ignore-domain branch from ef2bdc3 to c784542 Compare March 1, 2024 10:42
@jaapio jaapio merged commit f235c57 into main Mar 1, 2024
@jaapio jaapio deleted the task/ignore-domain branch March 1, 2024 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants