Remove {[BUG],[FEATURE]} from issue template title

Given that we have a labeling system, I think that these bracketed words in the title are redundant and a bit noisy. So I'm suggesting removing them.
apalache-mc · Feb 28, 2022 · 86a2f04 · 86a2f04
1 parent 412858a
commit 86a2f04
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -1,7 +1,7 @@
 ---
 name: Bug report
 about: Create a report to help us improve
-title: "[BUG]"
+title: ''
 labels: bug
 assignees: ''
 

diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md
@@ -1,8 +1,8 @@
 ---
 name: Feature request
 about: Suggest an idea for this project
-title: "[FEATURE]"
-labels: new
+title: ''
+labels: feature
 assignees: ''
 
 ---