From 74b92d9cde564cc26c02e7e81e3c9b41cab05407 Mon Sep 17 00:00:00 2001 From: mhuisi Date: Fri, 8 Sep 2023 13:30:20 +0200 Subject: [PATCH] chore: remove 'reproduces how often' field from bug template --- .github/ISSUE_TEMPLATE/bug_report.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index 7e779dd3b2..2c704629b2 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -31,8 +31,6 @@ assignees: '' **Actual behavior:** [Clear and concise description of what actually happens] -**Reproduces how often:** [Percentage of times the issue reproduces] - ### Versions [Output of `lean --version` in the folder that the issue occured in]