From 7aa15862315e1b85811b9dbc1291d0a9a980e1da Mon Sep 17 00:00:00 2001 From: mdtanker Date: Fri, 26 Apr 2024 14:05:56 +0200 Subject: [PATCH] docs: try nbgitpull link for launch binder buttons --- docs/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index 10f545c8..b3cdeafd 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -106,7 +106,7 @@ "repository_branch": "main", "path_to_docs": "docs", "launch_buttons": { - "binderhub_url": "https://mybinder.org", + "binderhub_url": "https://mybinder.org/v2/gh/mdtanker/polartoolkit-binder/main?urlpath=git-pull%3Frepo%3Dhttps%253A%252F%252Fgithub.com%252Fmdtanker%252Fpolartoolkit%26urlpath%3Dtree%252Fpolartoolkit%252F%26branch%3Dmain", "notebook_interface": "jupyterlab", }, "use_edit_page_button": True,