From ca59bce34de51704c819b59b431675d25c4451c0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20AMIARD?= Date: Wed, 24 Apr 2024 11:26:22 +0200 Subject: [PATCH] Change gnatkp labels according to new categorization --- .gitlab/issue_templates/gnatkp_detector.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitlab/issue_templates/gnatkp_detector.md b/.gitlab/issue_templates/gnatkp_detector.md index ab3e3260e..3d06cbd17 100644 --- a/.gitlab/issue_templates/gnatkp_detector.md +++ b/.gitlab/issue_templates/gnatkp_detector.md @@ -2,4 +2,5 @@ KP detector for [impactdb origin] Corresponding impactdb entry: eng/it/impact-db#[impactdb issue] -/label ~"Category::kpdetector" +/label ~"Area::kpdetector" +/label ~"Category::Enhancement"