Koen Zandberg 05e7b5e803

github/bug_report.md: Remove users@ and devel@

2021-05-12 11:41:25 +02:00

..

ISSUE_TEMPLATE

github/bug_report.md: Remove users@ and devel@

2021-05-12 11:41:25 +02:00

workflows

gh-actions: release-tests: do not run linters for release tests

2021-04-23 10:56:19 +02:00

PULL_REQUEST_TEMPLATE.md

github/pr: add missing newline at end of file

2018-08-22 13:26:08 +02:00

stale.yml

stale: only apply to PRs

2019-10-01 12:04:52 +02:00