Try to fix branch name on cleanup pr action

JabRef · Dec 31, 2019 · 71776f2 · 71776f2
1 parent b1e157f
commit 71776f2
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml
@@ -5,15 +5,14 @@ on:
     types: [closed]
 
 jobs:
-  build:
-
+  cleanup:
     runs-on: ubuntu-latest
 
     steps:
     - name: Extract branch name
       id: extract_branch
       run: |
-        echo "##[set-output name=branch;]$(echo ${${{ github.event.pull_request.head.ref }}#refs/heads/})"
+        echo "##[set-output name=branch;]$(echo ${{ github.event.pull_request.head.ref }})"
     - name: Delete folder on builds.jabref.org
       uses: appleboy/[email protected]
       with: