diff options
| author | Christian Duerr <contact@christianduerr.com> | 2020-07-03 20:27:18 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-03 20:27:18 +0000 |
| commit | 09179d06fd07c13deb0b108a6f9264f77d9d9599 (patch) | |
| tree | 98410cebc1e1a8a7222fe752622d21c18e03d018 /.github | |
| parent | bc60782e424359d818a22ffa2ffa3c2dc88ab6fe (diff) | |
| download | alacritty-09179d06fd07c13deb0b108a6f9264f77d9d9599.tar.gz alacritty-09179d06fd07c13deb0b108a6f9264f77d9d9599.zip | |
Document supported escape sequences
Fixes #3440.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/pull_request_template.md | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index 4fd9fde8..802ca57a 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,3 +1,9 @@ -Please make sure to document all user-facing changes in the `CHANGELOG.md` file. +Please make sure to document all user-facing changes in the +`CHANGELOG.md` file. -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. +If support for a new escape sequence was added, it should be documented +in `./docs/escape_support.md`. + +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. |