From 6e27649af1f6c0ae9345d7c1973fa87e317c2c77 Mon Sep 17 00:00:00 2001 From: Andrew Gallant Date: Tue, 1 Jun 2021 06:26:13 -0400 Subject: [PATCH] github: add note about file types --- .github/ISSUE_TEMPLATE/feature_request.md | 3 +++ 1 file changed, 3 insertions(+) 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.