From e9ae7b360c9afdb2f9a065ed45f604a8d07d7c7f Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 15:29:11 +0000
Subject: [PATCH] jenkins: Publish files to the master mirror

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 Jenkinsfile | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e73aad859..23d44d537 100644
--- 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"
 					}
 				}
 			}
-- 
2.39.5