diff --git a/Jenkinsfile b/Jenkinsfile index f356d30dfc01455121a0c6708527254aaaee4282..798d5e782ad937b4d03392dbd031656f50ca3bc7 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,4 @@ node('local') { - properties([[$class: 'GitLabConnectionProperty', gitLabConnection: 'https://git.lumc.nl/'], pipelineTriggers([[$class: 'GitHubPushTrigger']])]) - try { stage('Init') {