fixups from "feat: add servergitmirrors as a dict support"
These slipped by in reviewing !1438 (merged) https://gitlab.com/fdroid/fdroidserver/-/jobs/6173435409
FYI @proletarius101
Edited by Hans-Christoph Steiner
These slipped by in reviewing !1438 (merged) https://gitlab.com/fdroid/fdroidserver/-/jobs/6173435409
FYI @proletarius101