diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml
deleted file mode 100644
index 74a70a6f80e..00000000000
--- a/.github/workflows/cleanup_pr.yml
+++ /dev/null
@@ -1,24 +0,0 @@
-name: Cleanup after PR
-
-on:
-  pull_request:
-    types: [closed]
-
-jobs:
-  build:
-
-    runs-on: ubuntu-latest
-    
-    steps:
-    - name: Extract branch name
-      shell: bash
-      run: echo "##[set-output name=branch;](echo{GITHUB_REF#refs/heads/})"
-      id: extract_branch
-    - name: Delete folder on builds.jabref.org
-      uses: appleboy/ssh-action@v0.0.3
-      with:
-        script: rm -rf www/${{ steps.extract_branch.outputs.branch }}
-        host: builds.jabref.org
-        username: builds_jabref_org
-        key: ${{ secrets.buildJabRefPrivateKey }}
-        port: 9922