From d3d2ba86fc181c7f116052e727c0495bf6b629c8 Mon Sep 17 00:00:00 2001
From: Ahmed Bahajjaj <Ahmed_Bahajjaj@u.nus.edu>
Date: Sun, 8 Nov 2020 22:12:50 +0800
Subject: [PATCH] [#10834] Update developers.json (#10837)

---
 src/web/data/developers.json | 21 +++++++++++++--------
 1 file changed, 13 insertions(+), 8 deletions(-)

diff --git a/src/web/data/developers.json b/src/web/data/developers.json
index bcb2634e30d..59c55528dc1 100644
--- a/src/web/data/developers.json
+++ b/src/web/data/developers.json
@@ -704,6 +704,11 @@
       "name": "Jeffery Luangpakham",
       "username": "Jefferysan"
     },
+    {
+      "multiple": true,
+      "name": "Jessica Rairigh",
+      "username": "jfrairigh"
+    },
     {
       "multiple": true,
       "name": "Jiang Sheng",
@@ -1204,6 +1209,10 @@
       "name": "Phan Thi Quynh Trang",
       "username": "quynhtrang"
     },
+    {
+      "name": "Phong Bach",
+      "username": "jasonbch"
+    },
     {
       "username": "plucht"
     },
@@ -1461,6 +1470,10 @@
       "name": "Shyam Gaurav Venkatesh",
       "username": "SamVenkatesh"
     },
+    {
+      "name": "Si Tang",
+      "username": "IndeedSi"
+    },
     {
       "multiple": true,
       "name": "Siddhant Gupta",
@@ -1813,14 +1826,6 @@
     {
       "name": "Zhu Yilun",
       "username": "yilun-zhu"
-    },
-    {
-      "name": "Phong Bach",
-      "username": "jasonbch"
-    },
-    {
-      "name": "Si Tang",
-      "username": "IndeedSi"
     }
   ],
   "committers": [