diff --git a/jupyterlab_pullrequests/__init__.py b/jupyterlab_pullrequests/__init__.py index f53bed2..ffe3ee5 100644 --- a/jupyterlab_pullrequests/__init__.py +++ b/jupyterlab_pullrequests/__init__.py @@ -22,3 +22,8 @@ def _load_jupyter_server_extension(server_app): config = PRConfig(config=server_app.config) setup_handlers(server_app.web_app, config) server_app.log.info("Registered jupyterlab_pullrequests extension") + + +# for legacy launching with notebok (e.g. Binder) +_jupyter_server_extension_paths = _jupyter_server_extension_points +load_jupyter_server_extension = _load_jupyter_server_extension