From 71776f23ae7c68cb4d9aa7f3495b040163c14daa Mon Sep 17 00:00:00 2001
From: Tobias Diez <tobiasdiez@gmx.de>
Date: Tue, 31 Dec 2019 16:08:27 +0100
Subject: [PATCH] Try to fix branch name on cleanup pr action

---
 .github/workflows/cleanup_pr.yml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml
index 51283cb3e7e..fc83191f00d 100644
--- 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/ssh-action@v0.0.6
       with: