Jeremy Stretch 52c9e3ecef Run CI for pull requests vor 5 Jahren
..
ISSUE_TEMPLATE 5df01ed3e6 Encourage people to use GitHub discussions in place of the mailing list vor 5 Jahren
workflows 52c9e3ecef Run CI for pull requests vor 5 Jahren
PULL_REQUEST_TEMPLATE.md bd4b496d14 Tweak PR template to indicate placement of issue number vor 6 Jahren
stale.yml b081864e66 Allow stalebot to tag issues marked as under review vor 5 Jahren