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

What if we did unpin sphinx? #29

Merged
merged 3 commits into from
Aug 28, 2023
Merged

What if we did unpin sphinx? #29

merged 3 commits into from
Aug 28, 2023

Conversation

IAlibay
Copy link
Member

@IAlibay IAlibay commented Aug 28, 2023

No description provided.

@github-actions
Copy link
Contributor

Example docs for this PR rendered here

@lilyminium
Copy link
Member

Yeah this pin probably didn't need to exist -- 6.2.1 is the last version before 7.0 and sphinx-rtd-theme doesn't support 7.0 yet anyway. Thanks @IAlibay

@lilyminium lilyminium merged commit 5b69e20 into main Aug 28, 2023
@lilyminium lilyminium deleted the unpin-sphinx branch August 28, 2023 11:36
@IAlibay
Copy link
Member Author

IAlibay commented Aug 28, 2023

sphinx-rtd-theme doesn't support 7.0 yet

That's the next issue then, unless we can support new sphinx we're going to keep having the docutils pinning issue.

@lilyminium
Copy link
Member

Can we rely on sphinx-rtd-theme's docutils pinning?

Also, I was wrong: sphinx 7.0 coming next release! 🎉 readthedocs/sphinx_rtd_theme#1463

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