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