From 57cee32300b20491840a8ce1b53fcf36d84db775 Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Tue, 21 Jul 2026 22:43:54 +0200 Subject: Remove .github directory MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Miquel Sabaté Solà --- .github/PULL_REQUEST_TEMPLATE.md | 14 -------------- 1 file changed, 14 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 c959def..0000000 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,14 +0,0 @@ -Provide a general description of the changes in your pull request. If this pull -request fixes a known issue, please tag it as well (e.g.: `Fixes #1`). In any -case: - -- [ ] Write a [good commit message](https://chris.beams.io/posts/git-commit/). - Extra points if it's in the style of the [Linux - kernel](https://docs.kernel.org/process/submitting-patches.html). -- [ ] Make sure that `cargo build` and `cargo test` continues to work. -- [ ] Make sure that `cargo clippy --all-targets --all-features` does not report - any issues. -- [ ] The pull request has *only* one subject and a clear title. You are not - submitting a pull request with tons of different unrelated commits. - -Thanks! -- cgit v1.2.3