From 2e951c581452e90048303c7ccd243f8ef6a17d13 Mon Sep 17 00:00:00 2001
From: Franziska Kunsmann <hi@kunsmann.eu>
Date: Sat, 29 Aug 2020 21:32:22 +0200
Subject: [PATCH] Jenkinsfile: default branch is main, not master

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 092202f..60242a7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -24,7 +24,7 @@ pipeline {
                 }
                 stage('dummy mode') {
                     when {
-                        branch 'master'
+                        branch 'main'
                     }
                     steps {
                         sh """