Merge branch 'drop-unused-pool' into 'master'

debuginfod: drop svn-community pool scanning See merge request !719

Merge branch 'drop-unused-pool' into 'master'
17dcdaa6 · Evangelos Foutras · c261a5b1 · 9f4bd943 · 17dcdaa6
Verified Commit 17dcdaa6 authored 1 year ago by Evangelos Foutras
--- a/roles/debuginfod/defaults/main.yml
+++ b/roles/debuginfod/defaults/main.yml
@@ -4,4 +4,3 @@ debuginfod_port: 8002
 debuginfod_database: /var/cache/debuginfod/debuginfod.sqlite
 debuginfod_package_paths:
  - /srv/ftp/pool/packages-debug
-  - /srv/ftp/pool/community-debug