Files

.github

Jan Gutsche

Update GitHub Issue and PR templates

Nov 23, 2023

b0534da · Nov 23, 2023

Name		Name	Last commit message	Last commit date
parent directory ..
ISSUE_TEMPLATE		ISSUE_TEMPLATE	Update GitHub Issue and PR templates	Nov 23, 2023
workflows		workflows	ci(pre-commit): add github action for linting/formatting	Nov 23, 2023
pull_request_template.md		pull_request_template.md	Update GitHub Issue and PR templates	Nov 23, 2023