/mirrors.json is not synced with gitolite@d53ykjpeekuikgoq.onion

Originally created by @sajolida on #16028 (Redmine)

For example, in /mirrors.json:

url_prefix  "https://mirror.oldsql.cc/tails/"
weight  2

While in mirrors-pool.git we have:

        "url_prefix": "https://mirror.oldsql.cc/tails/",
        "weight": 1,

Related issues

• Related to #14588 (closed)