From a7ec79f2bbd145c67d98b73b1f4a0001d29bb460 Mon Sep 17 00:00:00 2001 From: Simon Li Date: Sun, 16 Aug 2020 18:23:27 +0100 Subject: [PATCH] Add ?urlpath=desktop to binder badge link --- .github/workflows/binder-badge.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/binder-badge.yaml b/.github/workflows/binder-badge.yaml index 4aa6d16a..682f4b1f 100644 --- 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 }}