From 9d74e17ae616f4c946ac8a2ae6c4ebd78c3cf51a Mon Sep 17 00:00:00 2001
From: Dirk Wetter <dirk@testssl.sh>
Date: Tue, 15 Oct 2019 11:19:26 +0200
Subject: [PATCH] Use HTTPS for jenkins repo

... tested & worked for me
---
 pom.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 73d39c4..d713861 100644
--- a/pom.xml
+++ b/pom.xml
@@ -69,7 +69,7 @@
 		<repository>
 			<id>jenkins</id>
 			<layout>default</layout>
-			<url>http://repo.jenkins-ci.org/public/</url>
+			<url>https://repo.jenkins-ci.org/public/</url>
 		</repository>
 	</repositories>