Jonathan A. Sternberg 1fa00bf931 Update issue templates ... Using the multiple github issue templates functionality described here: https://help.github.com/articles/about-issue-and-pull-request-templates/ This will hopefully make the default issue template less verbose so information isn't lost. In the future, we can add additional templates for specific things like performance or query bug reports.		2018-05-07 08:32:12 -05:00
..
ISSUE_TEMPLATE	Update issue templates	2018-05-07 08:32:12 -05:00
PULL_REQUEST_TEMPLATE.md	Remove unnecessary checkboxes in the pull request template	2018-02-07 12:19:50 -06:00