Matthias 5e0f64ef55 Pre-commit action should not run pre-commit ...

Regular CI will take care of this and point out potential problems

2024-05-28 06:36:13 +02:00

..

.devcontainer

Don't set zsh as default shell

2024-04-27 15:21:42 +02:00

ISSUE_TEMPLATE

Update bug_report.md

2022-10-18 19:26:09 +02:00

workflows

Pre-commit action should not run pre-commit

2024-05-28 06:36:13 +02:00

dependabot.yml

Update mkdocs as group

2024-04-29 06:32:45 +02:00

FUNDING.yml

Add Github funding

2022-02-06 14:38:20 +01:00

PULL_REQUEST_TEMPLATE.md

Revert unwanted changes

2022-04-30 14:55:52 +02:00