diff options
author | Luca Stefani <luca020400@lineageos.org> | 2017-05-14 18:42:35 +0000 |
---|---|---|
committer | Luca Stefani <luca020400@lineageos.org> | 2017-05-14 18:43:08 +0000 |
commit | 3b07946644e773254230961785a827ca6fde4e2f (patch) | |
tree | 2810b1465423d00bddaae6ae0032a8e85aaf9f88 /mirror-regen.py | |
parent | fe0ca789a1630cf29746a7c3dcc4bf6b4a3065ab (diff) | |
download | mirror-3b07946644e773254230961785a827ca6fde4e2f.tar.gz mirror-3b07946644e773254230961785a827ca6fde4e2f.tar.bz2 mirror-3b07946644e773254230961785a827ca6fde4e2f.zip |
mirror: Sort repos
Change-Id: I4b855e0bd110dc1e78fbdb111a7d2bc829faf9cd
Diffstat (limited to 'mirror-regen.py')
-rwxr-xr-x | mirror-regen.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/mirror-regen.py b/mirror-regen.py index 49f607e..e995c26 100755 --- a/mirror-regen.py +++ b/mirror-regen.py @@ -19,7 +19,7 @@ except KeyError: orgName = "LineageOS" org = Github(u, p).get_user(orgName) -file = open("default.xml","w") +file = open("default.xml", "w") file.write("<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n") file.write("<manifest>\n") file.write("\n") @@ -31,8 +31,13 @@ file.write(" remote=\"github\"\n") file.write(" sync-j=\"4\" />\n") file.write("\n") +repos = [] + for repo in org.get_repos(): - file.write(" <project name=\"" + repo.full_name + "\" />\n") + repos.append(repo.full_name) + +for repo in sorted(repos): + file.write(" <project name=\"" + repo + "\" />\n") file.write("</manifest>\n") file.close() |