From 9c1d50de6d968f095bdc5ae00875c832bb3467b9 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Fri, 10 Jul 2026 16:13:37 +0200 Subject: [PATCH] update-mirrors-in-default_repos.xml.py: default_repos.xml is no more --- tools/update-mirrors-in-default_repos.xml.py | 15 --------------- 1 file changed, 15 deletions(-) diff --git a/tools/update-mirrors-in-default_repos.xml.py b/tools/update-mirrors-in-default_repos.xml.py index e5a674752..2f8adcfdb 100755 --- a/tools/update-mirrors-in-default_repos.xml.py +++ b/tools/update-mirrors-in-default_repos.xml.py @@ -32,18 +32,3 @@ for repo in data: repo["mirrors"] = archive_mirrors with open(default_repos, 'w') as json_file: json.dump(data, json_file, indent=2) - -# legacy XML default repos -default_repos_legacy = 'legacy/src/main/res/values/default_repos.xml' -tree = ET.parse(default_repos_legacy) -root = tree.getroot() -i = 0 -indent = '\n ' -for item in root.iter('item'): - if i == 1: - item.text = indent + (indent.join([REPO_URL] + mirrors)) + '\n ' - elif i == 8: - item.text = indent + (indent.join([ARCHIVE_URL] + mirrors).replace('/repo', '/archive')) + '\n ' - i += 1 - -tree.write(default_repos_legacy)