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

Some minor updates to the Binder docs and design fixes #271

Merged
merged 1 commit into from
Nov 24, 2022

Conversation

choldgraf
Copy link
Member

This is a relatively minor PR to update some of the documentation configuration:

  • It updates our noxfile.py to be a bit simpler and re-use the same environment
  • It updates our conf.py to use the latest pydata theme configuration
  • It updates our supporters and team code to generate better dark-friendly themes
  • It adds a link to our discourse and updates the social links to be manually specified, which is what our theme recommends

@choldgraf
Copy link
Member Author

Maybe @consideRatio would be willing to give a quick review since he is thinking about docs across the ecosystem as well?

@@ -1,4 +1,4 @@
# binder
# `mybinder.org` user documentation
Copy link
Member

Choose a reason for hiding this comment

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

This is a big big big big big deal for me. I've always felt confused about this repo. I'd love to see it renamed to something like this as well.

Copy link
Member

Choose a reason for hiding this comment

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

Opened #272

@consideRatio consideRatio merged commit 87a8f4e into jupyterhub:master Nov 24, 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.

None yet

2 participants