[TEAMMATES#10834] Update developers.json (TEAMMATES#10837)

jtankw3 · Nov 8, 2020 · d3d2ba8 · d3d2ba8
1 parent dda027e
commit d3d2ba8
Showing 1 changed file with 13 additions and 8 deletions.
diff --git 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": [