Skip to content
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

docs(deps): update sphinx to v4.5 #522

Merged
merged 4 commits into from
May 20, 2022

Conversation

shiftinv
Copy link
Member

@shiftinv shiftinv commented May 9, 2022

Summary

Updates Sphinx to 4.5.0, and removes the / search hotkey handler since Sphinx supports it as of sphinx-doc/sphinx@799385f.

Checklist

  • If code changes were made, then they have been tested
    • I have updated the documentation to reflect the changes
    • I have formatted the code properly by running task lint
    • I have type-checked the code by running task pyright
  • This PR fixes an issue
  • This PR adds something new (e.g. new method or parameters)
  • This PR is a breaking change (e.g. methods or parameters removed/renamed)
  • This PR is not a code change (e.g. documentation, README, ...)

@shiftinv shiftinv added t: documentation Improvements or additions to documentation/examples p: low Low priority s: needs review Issue/PR is awaiting reviews t: dependencies Addition/update/removal of dependencies labels May 9, 2022
Copy link
Member

@onerandomusername onerandomusername left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

@onerandomusername onerandomusername changed the title build(deps): update sphinx to v4.5 docs(deps): update sphinx to v4.5 May 20, 2022
@onerandomusername onerandomusername enabled auto-merge (squash) May 20, 2022 01:29
@onerandomusername onerandomusername merged commit ce3130f into DisnakeDev:master May 20, 2022
@onerandomusername onerandomusername removed the s: needs review Issue/PR is awaiting reviews label May 20, 2022
@shiftinv shiftinv deleted the chore/sphinx-4.5 branch May 24, 2022 14:18
onerandomusername added a commit that referenced this pull request Sep 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
p: low Low priority t: dependencies Addition/update/removal of dependencies t: documentation Improvements or additions to documentation/examples
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants