commit e6a1f7bb5533ff15aababf532ad280d70bba75f7
author noname <nomail> Thu Dec 03 17:41:46 2020 +0100
committer noname <nomail> Thu Dec 03 17:41:46 2020 +0100
tree c64182338585825c002408853ba5a81562850f08
parent 9d31ff61891b3c6b20b2899f78c771cf3c1c1b10

[UIMA-6301] Rename "master" branches to "main"

- Updated branch names

Jenkinsfile

diff --git a/Jenkinsfile b/Jenkinsfile
index d722758..d4d14ee 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -74,7 +74,7 @@
     // merge request has been merged. On success, it deploys the generated artifacts to the

     // Maven repository server.

     stage("SNAPSHOT build") {

-      when { branch pattern: "master", comparator: "REGEXP" }

+      when { branch pattern: "main", comparator: "REGEXP" }

       

       steps {

         withMaven() {