diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3295636f2..fbf608f71 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -37,7 +37,6 @@ jobs:
       - name: Checkout branch "${{ github.ref_name }}"
         run: |
           git clone --no-checkout https://github.com/MaintainTeam/LastPipeBender.git .
-          git config core.symlinks false
           git checkout --progress --force ${{ github.ref_name }}
 
       - name: Set up JDK 17