From 5d19200671dc8f576a7b1498bd2f633d1b9d25c2 Mon Sep 17 00:00:00 2001
From: Endolf <endolf@computerbooth.com>
Date: Wed, 23 May 2018 21:00:23 +0100
Subject: [PATCH] Use ID of settings file.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 6907a8a..9ee6eaf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -80,7 +80,7 @@ pipeline {
                 sh 'echo $GPG_SECRET_KEYS | base64 --decode | gpg --batch --import'
                 sh 'echo $GPG_OWNERTRUST | base64 --decode | gpg --import-ownertrust'
                 withMaven(
-                        mavenSettingsConfig: 'maven-central'
+                        mavenSettingsConfig: 'fb36efbf-1df7-4366-80b5-c40c359a2711'
                 ) {
                     sh "mvn deploy"
                 }