Closed Tortar closed 1 year ago
The reason why we have a template for bugs is, that in the past people reported bugs but forgot to add the necessary information to reproduce, I don't mind having a template for feature requests - as long as there are not a lot of unnecessary fields to will shy people away from creating such feature requests.
Merging #289 (9485b81) into master (1cb789d) will not change coverage. The diff coverage is
n/a
.:exclamation: Current head 9485b81 differs from pull request most recent head 8bfc8d5. Consider uploading reports for the commit 8bfc8d5 to get more accurate results
@@ Coverage Diff @@
## master #289 +/- ##
=======================================
Coverage 97.30% 97.30%
=======================================
Files 115 115
Lines 6709 6709
=======================================
Hits 6528 6528
Misses 181 181
I think that just having the button is probably fine then, It's the least intimidating version :-)
I'm doing the pull mainly since in https://github.com/JuliaGraphs/Graphs.jl/issues/288 I opened a bug report using it as a feature request and it was applied automatically a bug label, surely I was a bit too lazy not to search for the right thing to click but this prevents this kind of problems at least
Noticed that there is no Feature request version of issues, what about adding one?