# 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.gpfuetzenreuter
- ssh_keys.users.mstrigl
- ssh_keys.users.ro