# This is the key group for people managing download infra
# such as mirrorcache*

include:
  - ssh_keys.users.anikitin
  - ssh_keys.users.bmwiedemann
  - ssh_keys.users.darix
  - ssh_keys.users.eroca
  - ssh_keys.users.gpfuetzenreuther
  - ssh_keys.users.mstrigl
  - ssh_keys.users.ro