Skip to content

Conversation

@jlumpe
Copy link

@jlumpe jlumpe commented Dec 6, 2018

Cleaned up #40 to only include the functional "enable" setting and to resolve merge conflicts with master.

@jlumpe jlumpe changed the base branch from settings to master September 30, 2019 22:43
@jlumpe
Copy link
Author

jlumpe commented Sep 30, 2019

Any chance of getting this merged? I've been successfully using it for the past year to disable the extension by default in my shared jupyter hub installation and only enable it in my personal configuration instead.

@spott
Copy link

spott commented Oct 31, 2019

If this works, is there any chance we can get this merged? As I work on a shared jupyterhub install, I can't actually use this unless I have the ability to turn it off for some users.

@jlumpe jlumpe closed this by deleting the head repository Sep 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants