From c69b677d83be917b25e3c649b0cfbd3507a2212b Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Thu, 18 May 2023 16:32:37 +0100
Subject: [PATCH] Update Jenkins repository key.

---
 states/jenkins/init.sls | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/states/jenkins/init.sls b/states/jenkins/init.sls
index 1a7da1e..f22d164 100644
--- a/states/jenkins/init.sls
+++ b/states/jenkins/init.sls
@@ -1,7 +1,7 @@
 jenkins_repo:
   pkgrepo.managed:
     - name: deb https://pkg.jenkins.io/debian binary/
-    - key_url: https://pkg.jenkins.io/debian/jenkins.io.key
+    - key_url: https://pkg.jenkins.io/debian/jenkins.io-2023.key
     - file: /etc/apt/sources.list.d/jenkins.list
 
 java: