Edit on GitHub - Githubissues

jupyterhub / mybinder.org-user-guide

Turn a Git repo into a collection of interactive notebooks. This is Binder's user documentation repository.

https://mybinder.readthedocs.io

BSD 3-Clause "New" or "Revised" License

152 stars 103 forks source link

Closed lheagy closed 5 years ago

lheagy commented 5 years ago

replace the "View page source" with "Edit this page" which links to the edit-url of the page on GitHub
question: do we still want the "View page source" ? (my 2 cents: it is redundant, but others may think differently??)
closes #146

monosnap 2019-01-31 14-58-20

choldgraf commented 5 years ago

This is great, thanks! I wonder if there's some way to bake this in to alabaster-jupyterhub, but I'll merge this one regardless :-)