diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6783be0e353be7c887583b8720e7b3820b6e1ee7..aabc71692d1d9f659d8520ac66fafef840f7f0c0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,9 +17,9 @@ clone_github:
     script:
         - echo $SOURCE_REPOSITORY
         - git config --global http.sslVerify false # Epic....
-        - rm -rf isis  # Needed to allow multiple CI runs
-        - git clone --mirror $SOURCE_REPOSITORY isis
-        - cd isis
+        - rm -rf ale  # Needed to allow multiple CI runs
+        - git clone --mirror $SOURCE_REPOSITORY ale
+        - cd ale
         - git remote remove origin
         - git remote add origin $DESTINATION_REPOSITORY
         - git push -f --prune --all