From 1ec313170e700212404fa39e77bf2e608fff1526 Mon Sep 17 00:00:00 2001 From: Louis Pilfold Date: Fri, 12 Jun 2026 13:15:24 +0100 Subject: [PATCH] Do not include copyright comments in pull request template --- .github/pull_request_template.md | 5 ----- compiler-core/src/tests.rs | 2 +- 2 files changed, 1 insertion(+), 6 deletions(-) diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index e200b7404..ec2aaa337 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,8 +1,3 @@ - - - [ ] The changes in this PR have been discussed beforehand in an issue - [ ] The issue for this PR has been linked - [ ] Tests have been added for new behaviour diff --git a/compiler-core/src/tests.rs b/compiler-core/src/tests.rs index 5536ef2a5..d53d2ae10 100644 --- a/compiler-core/src/tests.rs +++ b/compiler-core/src/tests.rs @@ -123,7 +123,7 @@ fn all_files_have_copyright_notice() { } // GitHub templates - "md" if path.starts_with("../.github/ISSUE_TEMPLATE") => return None, + "md" if path.starts_with("../.github/") => return None, // Static assets "gz" => return None, -- 2.51.2