From 4957b1668394ef524863ad63a4ec47c9e7624cd9 Mon Sep 17 00:00:00 2001
From: "Stefan E. Funk" <funk@sub.uni-goettingen.de>
Date: Fri, 6 Oct 2017 16:56:51 +0200
Subject: [PATCH] New git repo added.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 8f6fc2c9..deaed077 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ node {
def mvnHome
stage('Preparation') {
- git 'git://git.projects.gwdg.de/oai-pmh.git'
+ git 'git://projects.gwdg.de/dariah-de/tg/textgrid-repository/oai-pmh.git'
mvnHome = tool 'Maven 3.0.4'
}
--
GitLab