summaryrefslogtreecommitdiff
path: root/sec-keys/openpgp-keys-gentoo-developers/files
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-07-24 02:54:28 +0100
committerV3n3RiX <venerix@koprulu.sector>2023-07-24 02:54:28 +0100
commit2995a1ea3e0d9c72087365b0278eb7b5f7a509fd (patch)
treee640a2eca99555fab882bc502927e624ec2c0758 /sec-keys/openpgp-keys-gentoo-developers/files
parent3018b5a4bd4777c51e2793818305d7af2409a7fd (diff)
gentoo auto-resync : 24:07:2023 - 02:54:28
Diffstat (limited to 'sec-keys/openpgp-keys-gentoo-developers/files')
-rw-r--r--sec-keys/openpgp-keys-gentoo-developers/files/keyring-mangler.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/sec-keys/openpgp-keys-gentoo-developers/files/keyring-mangler.py b/sec-keys/openpgp-keys-gentoo-developers/files/keyring-mangler.py
index 3100e6226375..90b4ff68357e 100644
--- a/sec-keys/openpgp-keys-gentoo-developers/files/keyring-mangler.py
+++ b/sec-keys/openpgp-keys-gentoo-developers/files/keyring-mangler.py
@@ -53,6 +53,7 @@ with open(active_devs, "r", encoding="utf8") as keyring:
good_keys = []
+# TODO: Use new 'problems' key from python-gnupg-0.5.1?
for key in gpg.list_keys(sigs=True):
print(f"Checking key={key['keyid']}, uids={key['uids']}")