Skip to content

Commit 871b232

Browse files
Fix 'enhancement' GitHub template
Use the 'enhancement' label instead of 'bug'. Mentioned on #1215 (no-issue-check)
1 parent dddc57c commit 871b232

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/ISSUE_TEMPLATE/enhancement-request.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Enhancement Request
22
description: Suggest an idea for the Ada Language Server or the Ada & SPARK VS Code extension.
33
title: "[Enhancement]: "
4-
labels: ["bug"]
4+
labels: ["enhancement"]
55
body:
66
- type: markdown
77
attributes:

0 commit comments

Comments
 (0)