chore: update leaderboard

Author: Harxhit

apps/web/public/leaderboard.json

@@ -263,6 +263,14 @@
     "openPrs": 0,
     "issues": 1
   },
+  {
+    "login": "github-actions[bot]",
+    "avatarUrl": "https://avatars.githubusercontent.com/in/15368?v=4",
+    "profileUrl": "https://github.com/apps/github-actions",
+    "mergedPrs": 1,
+    "openPrs": 1,
+    "issues": 0
+  },
   {
     "login": "rajesh-puripanda",
     "avatarUrl": "https://avatars.githubusercontent.com/u/174464133?v=4",