Markus Muellner 9c6f896666 add endpoint for listing repos while serving in api mode and add more metrics

2023-03-22 17:22:54 +01:00

..

__init__.py

…

db.py

…

files.py

…

gpg.py

…

graph.py

…

metrics.py

…

mirrors.py

…

packages.py

…

probes.py

…

publish.py

…

repos.py

…

snapshots.py

…

systemd_handover.py

…

tasks.py

…

unix_socket.py

…

version.py

…