path: root/.github
diff options
authorwm4 <wm4@nowhere>2016-08-18 21:05:20 +0200
committerwm4 <wm4@nowhere>2016-08-18 21:05:20 +0200
commit0f83caf96a6da71fa8b13734a1b333d0d2116243 (patch)
tree731a283b29dab9ea06ad72d5b28dbe9ed3975a76 /.github
parent1e53fc3a159c6b3a4239f17501c2edc93d5020f3 (diff)
github: encourage bug reports
Word this sentence slightly more positively because we are a positive project.
Diffstat (limited to '.github')
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/ISSUE_TEMPLATE b/.github/ISSUE_TEMPLATE
index 9edfac412d..799723d176 100644
--- a/.github/ISSUE_TEMPLATE
+++ b/.github/ISSUE_TEMPLATE
@@ -13,7 +13,9 @@ If you're not using git master or the latest release, update.
Make a log file made with -v or --log-file=output.txt, paste it to or a similar site, and replace this text with a link to it.
-Do not bother reporting a bug if you do not provide the required information.
+Providing a log file is strongly encouraged. It is very helpful for reproducing
+bugs or getting important technical context. Without log it might not be
+possibly to analyze and fix certain bugs.
### Sample files