From c8521864269beb32285bd1cc797b2e61df02e369 Mon Sep 17 00:00:00 2001
From: Simon Li <orpheus+devel@gmail.com>
Date: Thu, 25 Jun 2020 17:19:57 +0100
Subject: [PATCH] Remove unnecessary checkout

---
 .github/workflows/binder.yaml | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/.github/workflows/binder.yaml b/.github/workflows/binder.yaml
index 48a20ba..18533e1 100644
--- a/.github/workflows/binder.yaml
+++ b/.github/workflows/binder.yaml
@@ -8,11 +8,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
 
-    - name: checkout pull request branch
-      uses: actions/checkout@v2
-      with:
-        ref: ${{ github.event.pull_request.head.sha }}
-
     - name: comment on PR with Binder link
       uses: actions/github-script@v1
       with: