diff options
| author | sharkdp <davidpeter@web.de> | 2020-10-29 19:51:16 +0100 |
|---|---|---|
| committer | David Peter <sharkdp@users.noreply.github.com> | 2020-10-29 20:16:33 +0100 |
| commit | c15b88f250a1a47f2042fab040970ebdec23b286 (patch) | |
| tree | 440383f3837c63d2233d3bf159e8eebc46f00719 | |
| parent | 2889e017cd05c02628ed47f253d210de832942cc (diff) | |
Add new section on Development and New syntaxes/themes
| -rw-r--r-- | CONTRIBUTING.md | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 8e943eb0..f0e35a2c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -21,3 +21,21 @@ Entries follow this format: ``` Here, `#123` is the number of the original issue and/or your pull request. Please replace `@user` by your GitHub username. + + +## Development + +Please check out the [Development](https://github.com/sharkdp/bat#development) +section in the README. + + +## Adding new syntaxes/languages or themes + +Before you make a pull request that adds a new syntax or theme, please read +the [Customization](https://github.com/sharkdp/bat#customization) section +in the README first. + +If you really think that a particular syntax or theme should be added for all +users, please read the corresponding +[documentation](https://github.com/sharkdp/bat/blob/master/doc/assets.md) +first. |