From 6c875d7ea4e306c9212a985ba982a02e13debf3d Mon Sep 17 00:00:00 2001
From: Guillaume Smet <guillaume.smet@gmail.com>
Date: Wed, 15 Feb 2023 17:00:32 +0100
Subject: [PATCH] Clean up jakarta notifications

Now that we integrated things in main, there's no need to ping so many
people.
---
 .github/quarkus-github-bot.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/quarkus-github-bot.yml b/.github/quarkus-github-bot.yml
index 8512a1d5ac4dc..f5e09bc63135a 100644
--- a/.github/quarkus-github-bot.yml
+++ b/.github/quarkus-github-bot.yml
@@ -669,7 +669,7 @@ triage:
         - extensions/smallrye-stork/
     - id: jakarta
       labels: [area/jakarta]
-      notify: [sanne,maxandersen,gsmet,manovotn,radcortez]
+      notify: [gsmet]
       notifyInPullRequest: true
       directories:
         - jakarta/