From 8489aeda0fc7a3346c79917133bf26d484905259 Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Tue, 21 Jul 2026 22:42:07 +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 | 15 --------------- 1 file changed, 15 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 73e55f7..0000000 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ /dev/null @@ -1,15 +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`). - -Before submitting a PR make sure the following things have been done (and denote -this by checking the relevant checkboxes): - -- [ ] The commits are consistent with the [contribution guidelines](../CONTRIBUTING.org). -- [ ] You've added tests (if possible) to cover your change(s). -- [ ] Tests are passing (`make test`). -- [ ] You've updated the [changelog](../CHANGELOG.org) (if adding/changing - user-visible functionality). -- [ ] You've updated the [readme](../README.org) (if adding/changing - user-visible functionality). - -Thanks for contributing to this project! -- cgit v1.2.3