diff options
| author | coqbot | 2020-08-04 19:05:56 +0200 |
|---|---|---|
| committer | GitHub | 2020-08-04 19:05:56 +0200 |
| commit | 40b4e84b78745506aa9b173fb5c08e7ea74faaaa (patch) | |
| tree | cf69070b6f4740db4f1a58ef1daaf0c17127d109 | |
| parent | 2793c3cdfd096355270ea02123a7f8fbf64c8076 (diff) | |
| parent | 046cf2c0c8bb2b5186066f927b98c387709e9acc (diff) | |
Merge PR #12706: Mention coqbot minimize feature in issue template.
Reviewed-by: Zimmi48
Ack-by: JasonGross
Ack-by: SkySkimmer
Ack-by: jtcoolen
| -rw-r--r-- | .github/ISSUE_TEMPLATE.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/ISSUE_TEMPLATE.md b/.github/ISSUE_TEMPLATE.md index aec6cd0a21..c564105c9c 100644 --- a/.github/ISSUE_TEMPLATE.md +++ b/.github/ISSUE_TEMPLATE.md @@ -3,7 +3,9 @@ #### Description of the problem <!-- If you can, it's helpful to provide self-contained example of some code -that reproduces the bug. If not, a link to a larger example is also helpful. --> +that reproduces the bug. If not, a link to a larger example is also helpful. +You can generate a shorter version of your program by following these +instructions: https://github.com/coq/coq/wiki/Coqbot-minimize-feature. --> #### Coq Version |