Rainer Gerhards 8d03775730 ci: skip expensive workflows on doc-only changes

2025-06-07 19:11:51 +02:00

..

workflows

ci: skip expensive workflows on doc-only changes

2025-06-07 19:11:51 +02:00

codeql.yml

Add CodeQL workflow for GitHub code scanning

2022-12-08 16:52:39 +00:00

ISSUE_TEMPLATE.md

update github issue template

2018-05-14 09:48:03 +02:00

lock.yml

github: configure to automatically lock closed issues

2019-12-24 09:58:35 +01:00

pull_request_template.md

add GDPR legal notice to contributor doc

2018-06-01 12:21:15 +02:00