jenkins: Publish files to the master mirror

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/Jenkinsfile b/Jenkinsfile
index e73aad859536da62e807be57b764ff9db992d423..23d44d5374aa0f18556163ab9ce3cee17454ae87 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -499,8 +499,20 @@ pipeline {
                                                        sh 'kinit -kV -t $KEYTAB'
                                                }
 
+                                               // Publish files
+                                               sh """
+                                                       rsync \
+                                                               --archive \
+                                                               --verbose \
+                                                               --delete \
+                                                               --delete-excluded \
+                                                               --delay-updates \
+                                                               packages/debian/ \
+                                                               pakfire@fs01.haj.ipfire.org:/pub/mirror/packages/debian/pakfire
+                                               """
 
-                                               // XXX This needs to be published on a mirror server somewhere
+                                               // Destroy the Kerberos credentials
+                                               sh "kdestroy"
                                        }
                                }
                        }