From c566f78c3edeeff08c0990b3cc756f2505f0aa70 Mon Sep 17 00:00:00 2001 From: Christian Duerr Date: Thu, 7 Jan 2021 05:32:06 +0000 Subject: [PATCH] Remove the GitHub pull request template The template itself never provided much of a benefit and just causes additional work for every single PR that is opened. That makes it easier to just remind people after the PR was created than putting it in the description so contributors always have to remove it. --- .github/pull_request_template.md | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 .github/pull_request_template.md diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md deleted file mode 100644 index 9dc048b0..00000000 --- a/.github/pull_request_template.md +++ /dev/null @@ -1,12 +0,0 @@ -Please make sure to document all user-facing changes in the -`CHANGELOG.md` file. - -If support for a new escape sequence was added, it should be documented -in `./docs/escape_support.md`. - -Since `alacritty_terminal`'s version always tracks the next release, make sure -that the version is bumped according to semver when necessary. - -Draft PRs are always welcome, though unless otherwise requested PRs will -not be reviewed until all required and optional CI steps are successful -and they have left the draft stage.