-
Notifications
You must be signed in to change notification settings - Fork 3k
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
Complete typing of docs directory #9672
Conversation
What’s the reason behind removing the empty containers in |
Yes, exactly right. These options are effectively unused, so we can fallback to the Sphinx defaults which avoids the need to type the empty containers. It also reduces the overall size of If the preference is to type the empty options, please let em know and I'll happily add them back with types. Either way works fo rme. |
Hello! I am an automated bot and I have noticed that this pull request is not currently able to be merged. If you are able to either merge the |
Closing since #9693 did this. :) |
Yes I am. :) |
Rebased to resolve conflicts 🙂 |
No description provided.