From 69f43a40368d639bdf39d488d7a93b41213721ca Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Jul 2024 17:06:31 +0200
Subject: [PATCH] Update repo URLs in Maven metadata
---
build.gradle | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/build.gradle b/build.gradle
index 1a38baa..95bca1a 100644
--- a/build.gradle
+++ b/build.gradle
@@ -129,7 +129,7 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
packaging 'jar'
// optionally artifactId can be defined here
description "Wrapper to use Kodkod in ProB."
- url 'https://github.com/hhu-stups/probkodkod'
+ url 'https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod'
licenses {
license {
@@ -139,9 +139,9 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
}
scm {
- connection 'scm:git:git://github.com/hhu-stups/probkodkod.git'
- developerConnection 'scm:git:git@github.com:hhu-stups/probkodkod.git'
- url 'https://github.com/hhu-stups/probkodkod'
+ connection 'scm:git:https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod.git'
+ developerConnection 'scm:git:git@gitlab.cs.uni-duesseldorf.de:general/stups/probkodkod.git'
+ url 'https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod'
}
developers {
--
GitLab