Skip to content

Improve docs setup (SVG logos, repo links) - #7074

Merged
jtpio merged 4 commits into
jupyter:mainfrom
krassowski:docs-minor
Sep 26, 2023
Merged

Improve docs setup (SVG logos, repo links)#7074
jtpio merged 4 commits into
jupyter:mainfrom
krassowski:docs-minor

Conversation

@krassowski

@krassowski krassowski commented Sep 25, 2023

Copy link
Copy Markdown
Member

This adds links back to GitHub, Discord and Gitter, and higher quality SVG logo with both light and dark version.

I am not strongly advocating for inclusion of gitter - feel free to remove.

@github-actions

Copy link
Copy Markdown
Contributor

Binder 👈 Launch a Binder on branch krassowski/notebook/docs-minor

@krassowski
krassowski marked this pull request as ready for review September 25, 2023 19:55
@jtpio jtpio added this to the 7.0.x milestone Sep 26, 2023

@jtpio jtpio left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Thanks!

I am not strongly advocating for inclusion of gitter - feel free to remove.

Makes sense to have it like in the JupyterLab docs 👍

@jtpio
jtpio merged commit b397a3b into jupyter:main Sep 26, 2023
@github-actions github-actions Bot locked as resolved and limited conversation to collaborators Sep 26, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants