diff options
author | sharkdp <davidpeter@web.de> | 2020-10-29 19:52:55 +0100 |
---|---|---|
committer | David Peter <sharkdp@users.noreply.github.com> | 2020-10-29 20:16:33 +0100 |
commit | 877d9120c90743d9f837e45bf89cf5f2ee50fb11 (patch) | |
tree | de2dbfee0c47781e451ca3fd0c6099800ed8f4c0 | |
parent | c15b88f250a1a47f2042fab040970ebdec23b286 (diff) |
Add a new 'Feature request' section
-rw-r--r-- | CONTRIBUTING.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index f0e35a2c..dca1d0f3 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -29,6 +29,13 @@ Please check out the [Development](https://github.com/sharkdp/bat#development) section in the README. +## Adding a new feature + +Please consider opening a +[feature request ticket](https://github.com/sharkdp/bat/issues/new?assignees=&labels=feature-request&template=feature_request.md) +first in order to give us a chance to discuss the feature first. + + ## Adding new syntaxes/languages or themes Before you make a pull request that adds a new syntax or theme, please read |