nextcloud: add jenkins job

nextcloud/jenkins/Jenkinsfile

@@ -8,6 +8,23 @@ pipeline {
                      ls -lah
                 '''
                 echo 'Hello World'
+
+                sshPublisher(publishers: [sshPublisherDesc(configName: 'infra.1', transfers: [sshTransfer(cleanRemote: false, excludes: '', execCommand: '''cd /home/rschneider/infra
+                git pull
+                cd /home/rschneider/infra/nextcloud/docker-compose
+                docker compose down
+                docker compose up -d
+                ''', execTimeout: 120000,
+                flatten: false,
+                makeEmptyDirs: false,
+                noDefaultExcludes: false,
+                patternSeparator: '[, ]+',
+                remoteDirectory: '',
+                remoteDirectorySDF: false,
+                removePrefix: '', sourceFiles: '')],
+                usePromotionTimestamp: false,
+                useWorkspaceInPromotion: false,
+                verbose: true)])
             }
         }
     }