Merge pull request #49690 from geoand/devservices-bot

Make bot ping Holly and Ozan for Dev Services issues

Author: gsmet

.github/quarkus-github-bot.yml

@@ -731,7 +731,7 @@ triage:
     - id: devservices
       labels: [area/devservices]
       title: "dev.?services?"
-      notify: [geoand]
+      notify: [holly-cummins, ozangunalp, geoand]
     - id: jdbc
       labels: [area/jdbc]
       title: "jdbc"