From 19d35766e064739997bc85c7147ad383eeae2324 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Mar 2021 13:35:25 +0100
Subject: [PATCH] Replace insecure git protocol with HTTPS in Maven metadata

---
 build.gradle | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle b/build.gradle
index 65abaa5..f219999 100644
--- a/build.gradle
+++ b/build.gradle
@@ -100,7 +100,7 @@ publishing {
 				}
 
 				scm {
-					connection = 'scm:git:git://github.com/hhu-stups/tla2bAST.git'
+					connection = 'scm:git:https://github.com/hhu-stups/tla2bAST.git'
 					developerConnection = 'scm:git:git@github.com:hhu-stups/tla2bAST.git'
 					url = 'https://github.com/hhu-stups/tla2bAST'
 				}
-- 
GitLab