diff --git a/devenv.nix b/devenv.nix
index 8b6c37bc048f16ba4a2aa54abf462cdaa0fb3174..8dc93cc4121101d06c35aa5847458ca5c658a326 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -113,7 +113,7 @@ 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 origin $CI_COMMIT_REF_NAME
+git pull --all origin $CI_COMMIT_REF_NAME
 
 if [ ! -z "''${CI_PROJECT_DIR}" ]; then
     echo "CI_PROJECT_DIR is set, using it as project root."