From ffda5fb428e423628084bb4e5d810d00dcfcb71d Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Fri, 5 Jan 2024 18:47:52 +0000
Subject: [PATCH] fetch-contributor-data: Sort repo names.

---
 tools/fetch-contributor-data | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/tools/fetch-contributor-data b/tools/fetch-contributor-data
index 04aca274b3..357e35251e 100755
--- 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=[])