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

@@ -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/