From 4903b82b27f056cf4df4a045c7117bade57d8837 Mon Sep 17 00:00:00 2001 From: Jessica Clarke Date: Tue, 11 Jul 2023 01:58:27 +0100 Subject: [PATCH] Delete upstream's pull request template GitHub doesn't give a way to namespace these so they don't show up on forks as far as I know, so we just have to delete the file for CheriBSD. --- .../pull_request_template.md | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100755 .github/PULL_REQUEST_TEMPLATE/pull_request_template.md diff --git a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md b/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md deleted file mode 100755 index c3d4020f03ec..000000000000 --- a/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md +++ /dev/null @@ -1,16 +0,0 @@ -Please include this information, either here or in your commit messages for the -pull request, as appropriate (or delete the line if there's nothing relevant. - -PR: -Reported by: -Reviewed by: -Tested by: -Approved by: -Obtained from: -Fixes: -MFC after: -Relnotes: -Security: -Sponsored by: -Pull Request: /pull/###> -Differential Revision: