From c84cb0dda5fcf1f79677fffddb143f492e8417fd Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Tue, 19 Sep 2023 20:49:40 +0200
Subject: [PATCH] only push for main

---
 automation/Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 64c23f4..a4144db 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -7,6 +7,9 @@ pipeline {
   }
   stages {
     stage('Deployment') {
+      when {
+        branch 'main'
+      }
       steps {
         sshagent(credentials: ['documentation-buildfix']) {
           // Deploy to Apache webserver