mybinder.org-user-guide icon indicating copy to clipboard operation
mybinder.org-user-guide copied to clipboard

Published 20 hours ago • verified publisher icon jupyterhub

Create delete_deployment.rst

Open garej opened this issue 6 years ago • 2 comments

How to delete obsolete binder repo #150

garej avatar Mar 05 '19 21:03 garej

@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!

hamelsmu avatar Jul 18 '20 06:07 hamelsmu

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 🤔🤔🤔

choldgraf avatar Jul 18 '20 15:07 choldgraf