# `buildd_admin_keys` can use buildd-add-keys, buildd-remove-keys.
# Must be fingerprints of keys in the Debian keyring.
buildd_admin_keys=(
  309911BEA966D0613053045711B4E5FF15B0FD82 # mhy
  F75FBFCD771DEB5E9C86050550C3634D3A291CF9 # pkern
  E5E52560DD91C556DDBDA5D02064C53641C25E5D # kroeckx
  80E976F14A508A48E9CA3FE9BC372252CA1CF964 # ansgar
  FBFABDB541B5DC955BD9BA6EDB16CF5BB12525C4 # joerg
  77462642A9EF94FD0F77196DBA9C78061DDD8C9B # aurel32
  E90F0889545E78C82A9DE74EAF2283AA76E2AC7B # zumbi
)
