From: Daan De Meyer <daan.j.demeyer@gmail.com>
Date: Thu, 7 Sep 2023 19:31:06 +0000 (+0200)
Subject: Drop Arch workaround
X-Git-Tag: v17~16
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e26bd09f017a056a2d63609c0b31cd53971b6818;p=thirdparty%2Fmkosi.git

Drop Arch workaround

archlinux-keyring should have been updated so this issue should be
fixed now.
---

diff --git a/.github/mkosi.conf.d/20-arch.conf b/.github/mkosi.conf.d/20-arch.conf
index 2301dc80b..d14919a12 100644
--- a/.github/mkosi.conf.d/20-arch.conf
+++ b/.github/mkosi.conf.d/20-arch.conf
@@ -1,10 +1,6 @@
 [Match]
 Distribution=arch
 
-[Distribution]
-# TODO: Remove once archlinux-keyring is updated in ppa:michel-slm/kernel-utils.
-RepositoryKeyCheck=no
-
 [Content]
 Packages=linux
          systemd