From 67b384601dada58eb11da0327153fa767dcef487 Mon Sep 17 00:00:00 2001
From: Bruno Verachten <gounthar@gmail.com>
Date: Thu, 2 Jan 2025 17:27:32 +0100
Subject: [PATCH] fix(gitpod): Creates the missing Maven local repository
 (#562)

---
 .gitpod/init.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitpod/init.sh b/.gitpod/init.sh
index c8d3f986..e5999829 100755
--- a/.gitpod/init.sh
+++ b/.gitpod/init.sh
@@ -5,9 +5,9 @@
 
 # Install dependencies and perform initial setup
 
-# Run Maven clean install to ensure all project dependencies are correctly installed
+# Run Maven install to ensure all project dependencies are correctly installed
 # and the project is built successfully.
-mvn clean install -DskipTests
+mkdir -p /home/gitpod/.m2/repository && mvn install -DskipTests
 
 # Create a directory for the test plugins and move into it. This directory will serve
 # as a workspace for cloning and building Jenkins plugin repositories.