path: root/.github
diff options
authorPhilip Sequeira <>2019-11-08 23:11:17 -0500
committerPhilip Langdale <>2019-11-10 20:59:17 -0800
commitb5894e760d7f7b8cd518cf2091cbaa56ece2d018 (patch)
tree43da6bdb2ab1f1b6a322488ff30851a05ec66ecf /.github
parent85aa9635e036339777a96709c3871e3e4aa768b9 (diff)
github: ask for build/config.log
Diffstat (limited to '.github')
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/ISSUE_TEMPLATE b/.github/ISSUE_TEMPLATE
index 6690a0c739..4a62016ff3 100644
--- a/.github/ISSUE_TEMPLATE
+++ b/.github/ISSUE_TEMPLATE
@@ -12,8 +12,8 @@ Releases are listed here:
### Log file
Make a log file made with -v -v or --log-file=output.txt, paste it to
- or attach it the github issue, and replace this text with a
-link to it.
+ or attach it to the github issue, and replace this text with a
+link to it. If the issue is a build failure, upload build/config.log instead.
If this is a normal runtime bug, and no log is provided, the issue will be
closed for ignoring the issue template. This is because analyzing a bug without