Add a new 'Feature request' section

This commit is contained in:
sharkdp 2020-10-29 19:52:55 +01:00 committed by David Peter
parent c15b88f250
commit 877d9120c9
1 changed files with 7 additions and 0 deletions

View File

@ -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