Skip to content

Conversation

scharlottej13
Copy link
Contributor

On Monday, June 6th, dask.org will go live with a new design (see dask/community#220). This PR is in preparation for the theme update for dask-sphinx-theme and can be merged in after dask/dask-sphinx-theme#67 on Monday.

cc @jacobtomlinson @jsignell

@kmpaul
Copy link
Collaborator

kmpaul commented Jun 4, 2022

Thanks, @scharlottej13! I'll watch for the PR merge and merge this in.

@jacobtomlinson
Copy link
Member

Looks like I don't have readthedocs permissions on this project so I just pushed an empty commit to crank the CI handle.

@kmpaul would you mind adding me to rtd when you have a chance?

@kmpaul
Copy link
Collaborator

kmpaul commented Jun 6, 2022

@jacobtomlinson: Done!

@jacobtomlinson
Copy link
Member

Thank you!

@jacobtomlinson jacobtomlinson changed the title [WIP] Merge on 6/6 - Update theme for rebranding Update docs theme for rebranding Jun 6, 2022
@jacobtomlinson jacobtomlinson merged commit 9a030da into dask:main Jun 6, 2022
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.

3 participants