From 8630a296f89ddcea682933e3b1fdc050cbcd27b2 Mon Sep 17 00:00:00 2001
From: Bartosz Kuzma <bartosz.kuzma@gmail.com>
Date: Sat, 18 Mar 2023 03:48:11 +0100
Subject: [PATCH] Fix repository name

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1f577af..03b592d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,7 @@ pipeline {
         }
         stage ('Checkout') {
             steps {
-                checkout([$class: 'GitSCM', branches: [[name: 'master']], extensions: [], userRemoteConfigs: [[credentialsId: 'tools-deploy-key', url: '_gitea@gitea.release11.com:R11/release11-tools-web.git']]])
+                checkout([$class: 'GitSCM', branches: [[name: 'master']], extensions: [], userRemoteConfigs: [[credentialsId: 'tools-deploy-key', url: '_gitea@gitea.release11.com:R11/release11-tools.git']]])
             }
         }
     }