08cc8a Merge branch 'debuginfod-sudo' into 'production'

Merged and Committed by Christian Boltz 9 months ago
    Merge branch 'debuginfod-sudo' into 'production'
    
    Add sudo role for debuginfod
    
    See merge request infra/salt!678