[bot] Automatically pull latest data from IDOL backend

[dti-github-bot]

Diffs

--- existing.json	2023-09-05 05:31:29.696651687 +0000
+++ src/data/all-members.json	2023-09-05 05:31:29.696651687 +0000
@@ -1578 +1578 @@
-    "major": "Computer Science, Mathematics",
+    "major": "Computer Science",
@@ -1580 +1580 @@
-    "about": "Hey, I'm Pratyush! I'm a sophomore studying computer science and mathematics. I am interested in software development, artificial intelligence, and machine learning. Outside of DTI, I'm also a member of Cornell Wushu Club, NCPA Paintball Team, MMA Club, and Undergraduate Math Club.",
+    "about": "Hello! I'm a junior majoring in computer science and mathematics. I have a keen interest in software development, technical product management, and AI/ML. When I'm not glued to my laptop, you can find me practicing Wushu (a form of martial arts), rock climbing, biking, or catching a nap somewhere in the engineering quad. :D",
@@ -1643,2 +1643,2 @@
-    "roleId": "developer",
-    "roleDescription": "Developer",
+    "roleId": "lead",
+    "roleDescription": "Lead",
@@ -1834 +1834,2 @@
-      "dac"
+      "dac",
+      "leads"
@@ -1836,2 +1837,2 @@
-    "roleId": "pm",
-    "roleDescription": "Product Manager",
+    "roleId": "lead",
+    "roleDescription": "Lead",

Summary

This is a PR auto-generated from yarn workspace dti-website pull-from-idol.
It updates the members JSON with latest approved data from IDOL backend.
Please review it carefully again to ensure nothing bad is here.

Test Plan

👀

[dti-github-bot]

[diff-counting] Significant lines: 0.