Jeremy Stretch efbda6d5af Apply stale rules to PRs il y a 5 ans
..
ISSUE_TEMPLATE 5df01ed3e6 Encourage people to use GitHub discussions in place of the mailing list il y a 5 ans
workflows 52c9e3ecef Run CI for pull requests il y a 5 ans
PULL_REQUEST_TEMPLATE.md bd4b496d14 Tweak PR template to indicate placement of issue number il y a 6 ans
stale.yml efbda6d5af Apply stale rules to PRs il y a 5 ans