diff options
| -rw-r--r-- | docs/dev/style.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md index 7481f800826..9859f614820 100644 --- a/docs/dev/style.md +++ b/docs/dev/style.md @@ -78,6 +78,8 @@ Use original span for FileId This makes it easier to prepare a changelog. +If the change adds a new user-visible functionality, consider recording a GIF with [peek](https://github.com/phw/peek) and pasting it into the PR description. + **Rationale:** clean history is potentially useful, but rarely used. But many users read changelogs. |