From bf9979012b9e0682f49c8108e77a35bbae172427 Mon Sep 17 00:00:00 2001
From: Stephan Boyer <stephan@stephanboyer.com>
Date: Tue, 7 Jul 2026 23:00:54 -0700
Subject: [PATCH] Format issue templates

---
 .github/ISSUE_TEMPLATE/bug_report.md      | 19 +++++++++++--------
 .github/ISSUE_TEMPLATE/feature_request.md | 10 ++++++----
 2 files changed, 17 insertions(+), 12 deletions(-)

diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 4f2d16bc..a7005133 100644
--- a/.github/ISSUE_TEMPLATE/bug_report.md
+++ b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -4,19 +4,22 @@ about: Create a bug report to help us improve
 title: ''
 labels: bug
 assignees: ''
-
 ---
 
-**Description**
+# Description
+
 A clear description of what the bug is.
 
-**Instructions to reproduce the bug**
+# Instructions to reproduce the bug
+
 A clear explanation of how to reproduce the bug.
 
-**Environment information:**
- - Lean version: [e.g., 4.26.0 or N/A]
- - Rocq version: [e.g., 9.0.0 or N/A]
- - OS: [e.g., macOS Tahoe 26.4]
+# Environment information:
+
+- Lean version: [e.g., 4.26.0 or N/A]
+- Rocq version: [e.g., 9.0.0 or N/A]
+- OS: [e.g., macOS Tahoe 26.4]
+
+# Additional context
 
-**Additional context**
 Add any other context about the problem here.
diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md
index 35b0ca4e..53d7f754 100644
--- a/.github/ISSUE_TEMPLATE/feature_request.md
+++ b/.github/ISSUE_TEMPLATE/feature_request.md
@@ -4,14 +4,16 @@ about: Suggest an idea for a new feature
 title: ''
 labels: enhancement
 assignees: ''
-
 ---
 
-**Description**
+# Description
+
 A clear description of what you want to happen.
 
-**Alternatives considered**
+# Alternatives considered
+
 A clear description of any alternative solutions or features you've considered.
 
-**Additional context**
+# Additional context
+
 Add any other context about the feature request here.