Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ping Mandrel team in native-related issues/PRs #45411

Merged
merged 1 commit into from
Jan 7, 2025

Conversation

zakkak
Copy link
Contributor

@zakkak zakkak commented Jan 7, 2025

Follow up to #45361

Matches
https://github.com/quarkusio/quarkus/blob/main/.github/ISSUE_TEMPLATE/bug_report_native.yml
body about Mandrel or GraalVM being used.

@Karm @galderz please remove yourselves if you don't want to get pinged.

@zakkak zakkak requested a review from gastaldi January 7, 2025 14:18
@quarkus-bot quarkus-bot bot added the area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure label Jan 7, 2025
@gastaldi gastaldi merged commit 603b6d6 into quarkusio:main Jan 7, 2025
4 checks passed
@quarkus-bot quarkus-bot bot added this to the 3.18 - main milestone Jan 7, 2025
@zakkak zakkak deleted the 2025-01-07-github-bot-native branch January 7, 2025 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants