From 89813b2777a2e9e0c6086580c8f84bdedb66fca5 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 11:09:38 +0000
Subject: [PATCH] jenkins: Export the public key

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 1824c540e..41419a142 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -483,6 +483,10 @@ pipeline {
 							}
 						}
 
+						// Export the public key
+						sh "gpg --batch --export --armor ${env.GPG_KEY_ID} \
+							> packages/debian/${env.GPG_KEY_ID}.asc"
+
 						// Remove the GPG key material as soon as possible
 						sh "rm -rf $GNUPGHOME"
 
-- 
2.39.5