Moritz f0e0befa15 add weekly scheduled run of lint --thorough (#660)		2023-01-19 11:57:51 +01:00
..
ISSUE_TEMPLATE
scripts	add release workflow (#643)	2023-01-02 18:34:39 +01:00
workflows	add weekly scheduled run of lint --thorough (#660)	2023-01-19 11:57:51 +01:00
pull_request_template.md