Jeremy Stretch efbda6d5af Apply stale rules to PRs		2021-02-09 15:15:49 -05:00
..
ISSUE_TEMPLATE	Encourage people to use GitHub discussions in place of the mailing list	2020-12-10 15:59:42 -05:00
workflows	Run CI for pull requests	2020-12-16 13:23:45 -05:00
PULL_REQUEST_TEMPLATE.md	Tweak PR template to indicate placement of issue number	2019-11-01 11:52:43 -04:00
stale.yml	Apply stale rules to PRs	2021-02-09 15:15:49 -05:00