chore: include all our bot IDs

Keyrxng · Aug 19, 2024 · 0abd51e · 0abd51e
1 parent e4b4c9e
commit 0abd51e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/package.json b/package.json
@@ -64,5 +64,6 @@
     "extends": [
       "@commitlint/config-conventional"
     ]
-  }
-}
+  },
+  "packageManager": "[email protected]+sha1.ac34549e6aa8e7ead463a7407e1c7390f61a6610"
+}
diff --git a/src/home/rendering/render-github-issues.ts b/src/home/rendering/render-github-issues.ts
@@ -21,7 +21,7 @@ export function renderGitHubIssues(tasks: TaskMaybeFull[]) {
     const isBot = task.preview.user?.type === "Bot"
     const userId = task.preview.user?.id
 
-    if (isBot && userId !== 113181824) {
+    if (isBot && userId !== 113181824 && userId !== 76412717 && userId !== 165700353 && userId !== 133917611) {
       continue;
     }