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

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)
• Blocks #13284

Original created by @sajolida on 16028 (Redmine)