diff options
author | Christian Duerr <contact@christianduerr.com> | 2021-01-07 05:32:06 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-07 05:32:06 +0000 |
commit | c566f78c3edeeff08c0990b3cc756f2505f0aa70 (patch) | |
tree | 636aa9f13ef401efa58428a3a4ca57b2698980b0 /.github | |
parent | fb9b362b6e6722d0bdcb367033e316536963c25a (diff) |
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.
Diffstat (limited to '.github')
-rw-r--r-- | .github/pull_request_template.md | 12 |
1 files changed, 0 insertions, 12 deletions
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. |