Skip to content

Use dask config extension from dask-sphinx-theme#8751

Merged
jrbourbeau merged 2 commits intodask:mainfrom
quasiben:remove-sphinx-extension
Feb 24, 2022
Merged

Use dask config extension from dask-sphinx-theme#8751
jrbourbeau merged 2 commits intodask:mainfrom
quasiben:remove-sphinx-extension

Conversation

@quasiben
Copy link
Copy Markdown
Member

  • Closes #xxxx
  • Tests added / passed
  • Passes pre-commit run --all-files

Removes the the sphinx extensions and instead relies on the extension coming from the dask-sphinx-theme. This PR can only be merged after dask/dask-sphinx-theme#64 and a new dask-sphinx-theme is released

cc @jacobtomlinson @ayushdg

@github-actions github-actions Bot added the documentation Improve or add to documentation label Feb 23, 2022
Copy link
Copy Markdown
Member

@jrbourbeau jrbourbeau left a comment

Choose a reason for hiding this comment

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

Thanks @quasiben. I think we'll want to update our minimum dask-sphinx-theme version here too

dask-sphinx-theme>=2.0.0

@quasiben
Copy link
Copy Markdown
Member Author

Definitely, I'll update once there is a new release

@jacobtomlinson
Copy link
Copy Markdown
Member

Version 2.0.3 is out now with these changes.

@jacobtomlinson
Copy link
Copy Markdown
Member

I've pushed a commit to bump that version, hope that's ok @quasiben.

@jrbourbeau jrbourbeau changed the title use dask config extension from dask-sphinx-theme Use dask config extension from dask-sphinx-theme Feb 24, 2022
Copy link
Copy Markdown
Member

@jrbourbeau jrbourbeau left a comment

Choose a reason for hiding this comment

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

Thanks @jacobtomlinson. This LGTM, will merge after CI finishes

@jrbourbeau jrbourbeau merged commit 67bcfb1 into dask:main Feb 24, 2022
phobson pushed a commit to phobson/dask that referenced this pull request Feb 28, 2022
Co-authored-by: Jacob Tomlinson <jtomlinson@nvidia.com>
@quasiben quasiben deleted the remove-sphinx-extension branch February 28, 2022 18:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improve or add to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants