diff --git a/devenv.nix b/devenv.nix
index 8dc93cc4121101d06c35aa5847458ca5c658a326..be24f809f02c9f138b6927fabd54336ad10f59a6 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -113,7 +113,8 @@ git remote set-url origin https://pad:''${GITLAB_TOKEN}@''${CI_REPOSITORY_URL#*@
 git fetch --all --tags --unshallow
 git reset --hard origin/master
 git checkout $CI_COMMIT_REF_NAME
-git pull --all origin $CI_COMMIT_REF_NAME
+git pull origin $CI_COMMIT_REF_NAME
+git tag -d 1.17.0
 
 if [ ! -z "''${CI_PROJECT_DIR}" ]; then
     echo "CI_PROJECT_DIR is set, using it as project root."