Skip to content

Commit

Permalink
Merge pull request #45411 from zakkak/2025-01-07-github-bot-native
Browse files Browse the repository at this point in the history
Ping Mandrel team in native-related issues/PRs
  • Loading branch information
gastaldi authored Jan 7, 2025
2 parents e48292f + edff2af commit 603b6d6
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/quarkus-github-bot.yml
Original file line number Diff line number Diff line change
Expand Up @@ -407,8 +407,9 @@ triage:
- integration-tests/google-cloud-functions
- id: native-image
labels: [area/native-image]
title: "\\bnative\\b"
notify: [zakkak]
body: "Mandrel or GraalVM version"
notify: [zakkak, Karm, galderz]
notifyInPullRequest: true
- id: awt
labels: [area/graphics]
expression: |
Expand Down

0 comments on commit 603b6d6

Please sign in to comment.