20 Commits

Author	SHA1	Message	Date
Jeremy Stretch	0296aa240a	Clean up Stale bot config formatting	2020-01-09 20:14:31 -05:00
Jeremy Stretch	d88b3456c4	Add configuration file for GitHub Stale bot	2020-01-09 20:13:21 -05:00
Jeremy Stretch	16353ce63c	Correct stalebot config file name	2019-12-05 21:43:22 -05:00
Jeremy Stretch	bd4b496d14	Tweak PR template to indicate placement of issue number	2019-11-01 11:52:43 -04:00
Jeremy Stretch	f08968da49	Exempt issues tagged with "status: blocked"	2019-10-17 14:28:27 -04:00
John Anderson	b8feba1070	implemented #3606 - added stale bot config	2019-10-13 04:12:58 -04:00
Jeremy Stretch	d356e288a2	Expanded the bug report template	2019-01-11 10:30:35 -05:00
Jeremy Stretch	3166d12994	Use real emojis for issue template names	2018-07-26 15:09:19 -04:00
Jeremy Stretch	58a97b4e39	Trying emojis in issue template names	2018-07-26 15:04:47 -04:00
Jeremy Stretch	7b8051d42f	Cleaned up GitHub issue templates	2018-07-26 14:59:23 -04:00
Jeremy Stretch	684a0d9e36	Update issue templates (#2277) ... * Update issue templates * Renamed documentation change template * Fixed description on bug report template	2018-07-26 14:53:32 -04:00
Jeremy Stretch	431361efad	Introduced purpose-specific GitHub issue templates	2018-07-26 12:17:16 -04:00
Jeremy Stretch	93ce0ce670	Further reiterated the policy for pull requests	2018-07-18 16:14:57 -04:00
Jeremy Stretch	b10635a9b1	Added housekeeping as an issue category	2018-07-02 16:39:38 -04:00
Jeremy Stretch	f2fbd92f78	Tweaked the issue template	2017-11-03 10:50:02 -04:00
Jeremy Stretch	480134302f	Refreshed contributing docs	2017-11-03 10:10:08 -04:00
Jeremy Stretch	ae73e6f04d	Removed task list formatting	2017-08-21 11:10:07 -04:00
Jeremy Stretch	fa6d933544	Converted list of issue types to a task list	2017-08-17 15:14:20 -04:00
Jeremy Stretch	83085d08ca	Revised the GitHub issue template	2017-08-17 15:11:55 -04:00
Jeremy Stretch	4670929953	Added GitHub issue/PR templates; updated CONTRIBUTING policy	2017-03-02 15:30:14 -05:00