set export URL to ourselves

DJ4Earth · Jun 26, 2024 · 4bdd98b · 4bdd98b
1 parent 3d6da57
commit 4bdd98b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ExportPluto.yaml b/.github/workflows/ExportPluto.yaml
@@ -70,6 +70,7 @@ jobs:
                     Export_baked_notebookfile=false,
                     Export_baked_state=false,
                     Export_create_pluto_featured_index=true,
+                    Export_binder_url="https://mybinder.org/v2/gh/DJ4Earth/MPE24/main"
                     # more parameters can go here
                   )'