From 796a8f59a61ed6e54d0d2b41a5d0155c5bb9696b Mon Sep 17 00:00:00 2001 From: Benedikt Peetz Date: Wed, 10 Jun 2026 21:32:08 +0200 Subject: chore: Remove unneeded files --- .github/pull_request_template.md | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 .github/pull_request_template.md (limited to '.github/pull_request_template.md') diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md deleted file mode 100644 index 4621b63c..00000000 --- a/.github/pull_request_template.md +++ /dev/null @@ -1,5 +0,0 @@ - - -## Checks -- [ ] I am happy for maintainers to push small adjustments to this PR, to speed up the review cycle -- [ ] I have checked that there are no existing pull requests for the same thing -- cgit v1.3.1