Rename Jeremiah key

This commit is contained in:
Greg Hellings
2025-05-20 22:27:28 -05:00
parent d8798bc17d
commit 641c9fd7ac
3 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -91,7 +91,7 @@ in
# Then pipe the resulting files to agenix -e <foo>
"gitlab/key.age".publicKeys = everyone;
"gitlab/cert.age".publicKeys = everyone;
"gitlab/jeremiah-runner-reg.age".publicKeys = everyone;
"gitlab/nixos-qemu-shell.age".publicKeys = everyone;
"gitlab/isaiah-qemu-runner-reg.age".publicKeys = everyone;
"gitlab/isaiah-vbox-runner-reg.age".publicKeys = everyone;
"gitlab/isaiah-shell-runner-reg.age".publicKeys = everyone;