From ab9d5ce2426e71b619684d29c56168d835597a82 Mon Sep 17 00:00:00 2001
From: Robin Mueller <robin.mueller.m@gmail.com>
Date: Tue, 12 Sep 2023 10:33:50 +0200
Subject: [PATCH] this should do the deployment job

---
 automation/Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile
index 50d8e67..0651995 100644
--- a/automation/Jenkinsfile
+++ b/automation/Jenkinsfile
@@ -8,7 +8,10 @@ pipeline {
   stages {
     stage('Deployment') {
       steps {
-          sh 'rsync -h'
+        sshagent(credentials: ['documentation-buildfix']) {
+          // Deploy to Apache webserver
+          sh 'rsync -r buildfix@documentation.irs.uni-stuttgart.de:/'
+        }
       }
     }
   }