Skip some Metrics repo PRs

The "Update python dependencies" workflow is currently broken and is in the process of being fixed (see [ticket](metrics/#250)), so we don't want to alert on it right now.
ebmdatalab · Nov 11, 2024 · da342bd · da342bd
1 parent 690bfb6
commit da342bd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/workspace/workflows/config.py b/workspace/workflows/config.py
@@ -130,6 +130,9 @@
     "ebmdatalab/bennettbot": [
         32719413,  # [On PR] Auto merge Dependabot PRs
     ],
+    "ebmdatalab/metrics": [
+        125350201,  # [On PR] Update python dependencies
+    ],
 }
 
 WORKFLOWS_KNOWN_TO_FAIL = {