fetch-contributor-data: Sort repo names.

2024-01-05 18:47:52 +00:00 · 2024-01-05 18:47:52 +00:00 · ffda5fb428
parent 42343cd8d9
commit ffda5fb428
1 changed files with 7 additions and 7 deletions
--- a/tools/fetch-contributor-data
+++ b/tools/fetch-contributor-data
@ -106,15 +106,15 @@ def update_contributor_data_file() -> None:
    # the total count, including those that should *not* have tabs on the team
    # page (e.g. if they are deprecated).
    repo_names = [
-        "zulip",
-        "zulip-desktop",
-        "zulip-mobile",
        "python-zulip-api",
-        "zulip-js",
-        "zulipbot",
-        "zulip-terminal",
-        "zulip-ios-legacy",
+        "zulip",
        "zulip-android",
+        "zulip-desktop",
+        "zulip-ios-legacy",
+        "zulip-js",
+        "zulip-mobile",
+        "zulip-terminal",
+        "zulipbot",
    ]

    data: ContributorsJSON = dict(date=str(datetime.now(tz=timezone.utc).date()), contributors=[])