diff options
| author | Andrew Gallant <jamslam@gmail.com> | 2021-06-01 06:26:13 -0400 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2021-06-01 06:26:13 -0400 |
| commit | 6e27649af1f6c0ae9345d7c1973fa87e317c2c77 (patch) | |
| tree | 498c1da22e4239260a35a6fc6d0e728542a53ae8 /.github | |
| parent | df83b8b44426b3f2179abe632eb183e8c8270524 (diff) | |
github: add note about file types
Diffstat (limited to '.github')
| -rw-r--r-- | .github/ISSUE_TEMPLATE/feature_request.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md index 88f24b3f..d126467f 100644 --- a/.github/ISSUE_TEMPLATE/feature_request.md +++ b/.github/ISSUE_TEMPLATE/feature_request.md @@ -15,3 +15,6 @@ examples of how ripgrep would be used if your feature request were added. If you're not sure what to write here, then try imagining what the ideal documentation of your new feature would look like in ripgrep's man page. Then try to write it. + +If you're requesting the addition or change of default file types, please open +a PR. We can discuss it there if necessary. |