diff options
| -rw-r--r-- | .gitlab/issue_templates/bug.md | 8 | ||||
| -rw-r--r-- | .gitlab/issue_templates/feature_request.md | 4 |
2 files changed, 6 insertions, 6 deletions
diff --git a/.gitlab/issue_templates/bug.md b/.gitlab/issue_templates/bug.md index 2e2182b134..7a14cb467d 100644 --- a/.gitlab/issue_templates/bug.md +++ b/.gitlab/issue_templates/bug.md @@ -1,16 +1,16 @@ -# Summary +## Summary Write a brief description of the issue. -# Steps to reproduce +## Steps to reproduce Please provide a set of concrete steps to reproduce the issue. -# Expected behavior +## Expected behavior What do you expect the reproducer described above to do? -# Environment +## Environment * GHC version used: diff --git a/.gitlab/issue_templates/feature_request.md b/.gitlab/issue_templates/feature_request.md index 63f0bdd996..9ff4303644 100644 --- a/.gitlab/issue_templates/feature_request.md +++ b/.gitlab/issue_templates/feature_request.md @@ -1,9 +1,9 @@ -# Motivation +## Motivation Briefly describe the problem your proposal solves and why this problem should be solved. -# Proposal +## Proposal Describe your proposed feature here. |