Update bots.db.json

EclipseFdn · Jul 31, 2024 · 1577ea7 · 1577ea7
1 parent 73f8da6
commit 1577ea7
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/bots.db.json b/bots.db.json
@@ -1154,6 +1154,10 @@
   },
   {
     "email": "[email protected]",
+    "github.com": {
+      "email": "[email protected]",
+      "username": "eclipse-henshin-bot"
+    },
     "id": 96,
     "projectId": "modeling.emft.henshin",
     "username": "genie.henshin"
@@ -2858,6 +2862,10 @@
   },
   {
     "email": "[email protected]",
+    "github.com": {
+      "email": "[email protected]",
+      "username": "eclipse-efm-bot"
+    },
     "id": 286,
     "projectId": "modeling.efm",
     "username": "genie.efm"
@@ -4475,5 +4483,14 @@
     "id": 447,
     "projectId": "webtools.sourceediting",
     "username": "genie.sourceediting"
+  },
+  {
+    "github.com": {
+      "email": "[email protected]",
+      "username": "eclipse-common-bot"
+    },
+    "id": 448,
+    "projectId": "webtools.common",
+    "username": "genie.common"
   }
 ]