From c6782de666c25e14385e94e0ebfad0d5f5a3b601 Mon Sep 17 00:00:00 2001 From: Guillaume Smet Date: Thu, 13 Apr 2023 10:57:15 +0200 Subject: [PATCH] Fix Dev UI label in quarkus-github-bot.yml --- .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 39917876899fd..d8f4ebc89cda5 100644 --- a/.github/quarkus-github-bot.yml +++ b/.github/quarkus-github-bot.yml @@ -64,7 +64,7 @@ triage: labels: [area/devmode] title: "dev mode" - id: devui - labels: [area/devui] + labels: [area/dev-ui] title: "dev.?ui" notify: [phillip-kruger, cescoffier] notifyInPullRequest: true