diff options
| -rw-r--r-- | .github/ISSUE_TEMPLATE/tracking_issue.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/ISSUE_TEMPLATE/tracking_issue.md b/.github/ISSUE_TEMPLATE/tracking_issue.md index 51bf0c3ee67..24f43213897 100644 --- a/.github/ISSUE_TEMPLATE/tracking_issue.md +++ b/.github/ISSUE_TEMPLATE/tracking_issue.md @@ -23,7 +23,7 @@ The feature gate for the issue is `#![feature(FFF)]`. ### About tracking issues Tracking issues are used to record the overall progress of implementation. -They are also uses as hubs connecting to other relevant issues, e.g., bugs or open design questions. +They are also used as hubs connecting to other relevant issues, e.g., bugs or open design questions. A tracking issue is however *not* meant for large scale discussion, questions, or bug reports about a feature. Instead, open a dedicated issue for the specific matter and add the relevant feature gate label. |