aboutsummaryrefslogtreecommitdiff
path: root/.github/ISSUE_TEMPLATE
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2022-09-19 10:02:07 +0200
committerValentin Gagarin <valentin.gagarin@tweag.io>2022-09-19 10:05:29 +0200
commit4b11c22386abc8b7176602446ca061c5504635cc (patch)
treeee9d019ae7e5f520a57222b24ea11dcecf06b81f /.github/ISSUE_TEMPLATE
parenta38a55babee876dc9392a2abc3c42768a40f24db (diff)
issue template: fill 'about' field
according to [GitHub documentation] some fields are required. `about` is not listed, but it probably is required. [GitHub documentation]: https://docs.github.com/en/communities/using-templates-to-encourage-useful-issues-and-pull-requests/syntax-for-issue-forms
Diffstat (limited to '.github/ISSUE_TEMPLATE')
-rw-r--r--.github/ISSUE_TEMPLATE/missing_documentation.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/ISSUE_TEMPLATE/missing_documentation.md b/.github/ISSUE_TEMPLATE/missing_documentation.md
index 8ded9f063..fbabd868e 100644
--- a/.github/ISSUE_TEMPLATE/missing_documentation.md
+++ b/.github/ISSUE_TEMPLATE/missing_documentation.md
@@ -1,8 +1,8 @@
---
name: Missing or incorrect documentation
-about:
+about: Help us improve the reference manual
title: ''
-labels: 'documentation'
+labels: documentation
assignees: ''
---