1 files changed, 2 insertions, 0 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md
index 7481f8008..9859f6148 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.

diff --git a/docs/dev/style.md b/docs/dev/style.md index 7481f8008..9859f6148 100644 --- a/docs/dev/style.md +++ b/docs/dev/style.md
@@ -78,6 +78,8 @@ Use original span for FileId
78		78
79	This makes it easier to prepare a changelog.	79	This makes it easier to prepare a changelog.
80		80
		81	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.
		82
81	Rationale: clean history is potentially useful, but rarely used.	83	Rationale: clean history is potentially useful, but rarely used.
82	But many users read changelogs.	84	But many users read changelogs.
83		85