diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-09-19 10:02:07 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-09-19 10:05:29 +0200 |
| commit | 4b11c22386abc8b7176602446ca061c5504635cc (patch) | |
| tree | ee9d019ae7e5f520a57222b24ea11dcecf06b81f | |
| parent | a38a55babee876dc9392a2abc3c42768a40f24db (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
| -rw-r--r-- | .github/ISSUE_TEMPLATE/missing_documentation.md | 4 |
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: '' --- |