Create delete_deployment.rst

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

159 stars 103 forks source link

Create delete_deployment.rst #154

Closed garej closed 1 year ago

garej commented 5 years ago

How to delete obsolete binder repo #150

hamelsmu commented 4 years ago

@choldgraf I noticed this open PR, is this something I can help bring to the finish line, or is this one stale? Let me know just trying to find places to help!

choldgraf commented 4 years ago

oops! arg it looks like we missed this one. Sorry @garej ! I think what we'd need to do is add a reference to this page in the toctree of an index file somewhere so that Sphinx picks it up (the content looks correct to me). Though this might be tough as the branch no longer exists 🤔🤔🤔