From 71a266241f5fa6c2dc5ca19736e96ef051928e4f Mon Sep 17 00:00:00 2001
From: Guy Thomas <dev@citri.city>
Date: Thu, 2 Jul 2026 20:50:32 +0200
Subject: [PATCH] Issue_147: CI delete plugins from target path

---
 src/Service/Plugins.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Service/Plugins.php b/src/Service/Plugins.php
index b9d783a..f38bbf3 100644
--- a/src/Service/Plugins.php
+++ b/src/Service/Plugins.php
@@ -369,7 +369,8 @@ public function getPluginsInfoFromRecipe(Recipe $recipe, bool $skipCache = false
                         $pluginPath = $this->getMoodlePluginPath($pluginName, $recipe);
                         
                         $targetPath = $this->getPluginTargetPath($recipe, $recipePath, $pluginName);
-                        if (!file_exists(OS::path($targetPath.'/version.php'))) {                                                  
+                        $targetPathVersionExists = file_exists(OS::path($targetPath.'/version.php'));
+                        if (!$targetPathVersionExists || StaticVars::$ciMode) {
                             $tmpDir = sys_get_temp_dir().'/'.uniqid('', true);
                             $this->gitService->cloneGitRepository($recipePlugin->repo, $recipePlugin->branch, $tmpDir, $recipePlugin->upstream, $shallowClone);