Fix Dev UI label in quarkus-github-bot.yml

cescoffier · Apr 18, 2023 · c6782de · c6782de
1 parent 8de1a2d
commit c6782de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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