diff options
Diffstat (limited to '.gitlab')
| -rw-r--r-- | .gitlab/issue_templates/documentation_issue.md | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/.gitlab/issue_templates/documentation_issue.md b/.gitlab/issue_templates/documentation_issue.md new file mode 100644 index 0000000000..03f32fb570 --- /dev/null +++ b/.gitlab/issue_templates/documentation_issue.md @@ -0,0 +1,22 @@ +## Summary + +Location of documentation issue: (e.g. the Haddocks of `base`, the GHC user's guide) + +Write a brief description of the issue. + + +## Proposed improvements or changes + +Feel free to propose changes, either concrete or abstract. + + +## Environment + +* GHC version used (if appropriate): + + + +/label ~bug +/label ~documentation +/label ~"needs triage" + |