From 06281f3d53be30815a5072851a14c565480a6d57 Mon Sep 17 00:00:00 2001
From: Volker Schukai <volker.schukai@schukai.com>
Date: Mon, 14 Aug 2023 17:58:43 +0200
Subject: [PATCH] fix: test ci

---
 devenv.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/devenv.nix b/devenv.nix
index 8dc93cc..be24f80 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."
-- 
GitLab