From fb05da68a4462a2656f95779a5b080a8e6376c1c Mon Sep 17 00:00:00 2001
From: Rens Hamburger <renshamburger@gmail.com>
Date: Fri, 18 Oct 2019 20:36:06 +0200
Subject: [PATCH] Update Jenkins file

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 32c0635..df4bd26 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@
 void setBuildStatus(String message, String state) {
   step([
       $class: "GitHubCommitStatusSetter",
-      reposSource: [$class: "ManuallyEnteredRepositorySource", url: "https://github.com/Proteus-Eretes/hoesnelwasik_frontend"],
+      reposSource: [$class: "ManuallyEnteredRepositorySource", url: "https://github.com/Proteus-Eretes/IRIS-beamer"],
       contextSource: [$class: "ManuallyEnteredCommitContextSource", context: "ci/jenkins/build-status"],
       errorHandlers: [[$class: "ChangingBuildStatusErrorHandler", result: "UNSTABLE"]],
       statusResultSource: [ $class: "ConditionalStatusResultSource", results: [[$class: "AnyBuildResult", message: message, state: state]] ]