From a21e419a55ab2b263e564459931f23fe9f17e4d1 Mon Sep 17 00:00:00 2001 From: John Helmert III Date: Sat, 16 Jul 2022 11:31:11 -0500 Subject: create-dev-keyrings: correct export_keys call Signed-off-by: John Helmert III --- create-dev-keyrings.bash | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/create-dev-keyrings.bash b/create-dev-keyrings.bash index 94af82a..3ab1b58 100755 --- a/create-dev-keyrings.bash +++ b/create-dev-keyrings.bash @@ -19,7 +19,8 @@ export_keys "${OUTPUT_DIR}"/service-keys.gpg \ "${SYSTEM_KEYS[@]}" grab_keys "${INFRA_SYSTEM_KEYS[@]}" -export_keys "${OUTPUT_DIR}"/infra-service-keys.gpg +export_keys "${OUTPUT_DIR}"/infra-service-keys.gpg \ + "${INFRA_SYSTEM_KEYS[@]}" grab_keys "${COMMITTING_DEVS[@]}" export_keys "${OUTPUT_DIR}"/committing-devs.gpg \ -- cgit v1.2.3-65-gdbad