diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2018-07-01 20:50:29 +0100 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2018-07-01 20:50:29 +0100 |
| commit | 8ac43b19364c1a86d7ac01b0eda28db296471cfa (patch) | |
| tree | 14876b33a0c3251fc067532f5180d872f5b4000b /.github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md | |
| parent | 1c5c4a4c8ed88555000ece0f0b3806cbf012c2d1 (diff) | |
| download | ale-8ac43b19364c1a86d7ac01b0eda28db296471cfa.zip | |
Update issue templates
Diffstat (limited to '.github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md')
| -rw-r--r-- | .github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md b/.github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md new file mode 100644 index 00000000..75c7637f --- /dev/null +++ b/.github/ISSUE_TEMPLATE/suggest-a-new-linter-or-fixer.md @@ -0,0 +1,20 @@ +--- +name: Suggest a new linter or fixer +about: Suggest a new tool ALE can officially integrate with. + +--- + +<!-- + Write "Add support for foobar" as the issue title, or similar. + + Fill out the details below. +--> + +**Name:** foobar +**URL:** https://foo.bar.com + +<!-- + Write a description of the tool, and add any other information you think might + be helpful. Consider creating a pull request to add support for the tool + yourself. +--> |