]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
projects / thirdparty / mkosi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 95aa11d)
Drop Arch workaround
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Thu, 7 Sep 2023 19:31:06 +0000 (21:31 +0200)
committerLuca Boccassi <luca.boccassi@gmail.com>
Thu, 7 Sep 2023 20:58:33 +0000 (21:58 +0100)
archlinux-keyring should have been updated so this issue should be
fixed now.

.github/mkosi.conf.d/20-arch.conf patch | blob | blame | history

diff --git a/.github/mkosi.conf.d/20-arch.conf b/.github/mkosi.conf.d/20-arch.conf
index 2301dc80ba88b6104ff7d974799c80ac6d080a7e..d14919a124c6b39f39529d7bf388b553197e0b9a 100644 (file)
--- 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
Mirror of https://github.com/systemd/mkosi.git