Merge pull request #30847 from geoand/metrics-bruno

Add Bruno to the bot configuration for metrics
quarkusio · Feb 4, 2023 · 8cf4775 · 8cf4775
2 parents 1c361a3 + f85d4e1
commit 8cf4775
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/quarkus-github-bot.yml b/.github/quarkus-github-bot.yml
@@ -221,7 +221,7 @@ triage:
     - id: micrometer
       labels: [area/metrics]
       title: "micrometer"
-      notify: [ebullient]
+      notify: [ebullient, brunobat]
       notifyInPullRequest: true
       directories:
         - extensions/micrometer