Add ?urlpath=desktop to binder badge link

mawigh · Aug 16, 2020 · a7ec79f · a7ec79f
1 parent 5f6277b
commit a7ec79f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/binder-badge.yaml b/.github/workflows/binder-badge.yaml
@@ -17,7 +17,7 @@ jobs:
             issue_number: context.issue.number,
             owner: context.repo.owner,
             repo: context.repo.repo,
-            body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_SHA}) :point_left: Launch a binder notebook on this branch for commit ${PR_HEAD_SHA}`
+            body: `[![Binder](https://mybinder.org/badge_logo.svg)](https://mybinder.org/v2/gh/${PR_HEAD_USERREPO}/${PR_HEAD_SHA}?urlpath=desktop) :point_left: Launch a binder notebook on this branch for commit ${PR_HEAD_SHA}`
           })
       env:
         PR_HEAD_SHA: ${{ github.event.pull_request.head.sha }}