Jeremy Stretch a371c08c86 Merge branch 'develop' into develop-2.10 před 5 roky
..
ISSUE_TEMPLATE 5df01ed3e6 Encourage people to use GitHub discussions in place of the mailing list před 5 roky
workflows 43d7d5570e Merge branch 'develop' into develop-2.10 před 5 roky
PULL_REQUEST_TEMPLATE.md bd4b496d14 Tweak PR template to indicate placement of issue number před 6 roky
stale.yml b081864e66 Allow stalebot to tag issues marked as under review před 5 roky