Skip to content
Snippets Groups Projects
Commit 69f43a40 authored by dgelessus's avatar dgelessus
Browse files

Update repo URLs in Maven metadata

parent 29c6e0c8
No related branches found
No related tags found
No related merge requests found
Pipeline #138429 passed
...@@ -129,7 +129,7 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword') ...@@ -129,7 +129,7 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
packaging 'jar' packaging 'jar'
// optionally artifactId can be defined here // optionally artifactId can be defined here
description "Wrapper to use Kodkod in ProB." 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 { licenses {
license { license {
...@@ -139,9 +139,9 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword') ...@@ -139,9 +139,9 @@ if (project.hasProperty('ossrhUsername') && project.hasProperty('ossrhPassword')
} }
scm { scm {
connection 'scm:git:git://github.com/hhu-stups/probkodkod.git' connection 'scm:git:https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod.git'
developerConnection 'scm:git:git@github.com:hhu-stups/probkodkod.git' developerConnection 'scm:git:git@gitlab.cs.uni-duesseldorf.de:general/stups/probkodkod.git'
url 'https://github.com/hhu-stups/probkodkod' url 'https://gitlab.cs.uni-duesseldorf.de/general/stups/probkodkod'
} }
developers { developers {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment