diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6783be0e353be7c887583b8720e7b3820b6e1ee7..7e46cbdc4ae1459e5df92942c11be041497965b9 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,8 +18,8 @@ clone_github:
         - 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
+        - git clone --mirror $SOURCE_REPOSITORY ale
+        - cd ale
         - git remote remove origin
         - git remote add origin $DESTINATION_REPOSITORY
         - git push -f --prune --all