From 046cf2c0c8bb2b5186066f927b98c387709e9acc Mon Sep 17 00:00:00 2001
From: Julien Coolen
Date: Mon, 20 Jul 2020 11:42:28 +0200
Subject: Mention coqbot minimize feature in issue template.

This allows coqbot to reply back with a minimized
version of some code reproducing a bug, using the
coq-bug-minimizer program from Jason Gross.

See https://github.com/JasonGross/coq-tools#coq-bug-minimizer.
---
 .github/ISSUE_TEMPLATE.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
 
-- 
cgit v1.2.3