jupyter-server / jupyter_releaser

A set of helper scripts and GitHub Actions to aid in automated releases of Python and npm packages.
https://jupyter-releaser.readthedocs.io/en/latest/
Other
53 stars 66 forks source link

Add link to GitHub repo in docs navbar #589

Closed krassowski closed 1 month ago

krassowski commented 1 month ago

Just a tiny QoL improvements (when looking at docs I often want to double check things in code)

jtpio commented 1 month ago

btw @krassowski there are a couple of other open PRs related to the documentation, if you would like to have a look (I bumped your rights to enable write access). Thanks!