Jeremy Stretch 5df01ed3e6 Encourage people to use GitHub discussions in place of the mailing list 5 лет назад
..
ISSUE_TEMPLATE 5df01ed3e6 Encourage people to use GitHub discussions in place of the mailing list 5 лет назад
workflows cc5c000a6d Move CI to GitHub Actions (#5431) 5 лет назад
PULL_REQUEST_TEMPLATE.md bd4b496d14 Tweak PR template to indicate placement of issue number 6 лет назад
stale.yml b081864e66 Allow stalebot to tag issues marked as under review 5 лет назад