aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2021-01-11 13:29:29 +0000
committerAleksey Kladov <[email protected]>2021-01-11 13:29:29 +0000
commit2d0464a6f3c572d7736670c22c71efe8aca93749 (patch)
treeabef5801ab1ac82cdf096c61d0baa39a7d18cc4a
parent8c33ffecc1feea732f2ea18b3701c145adc73928 (diff)
Encourage gifs
-rw-r--r--docs/dev/style.md2
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
78 78
79This makes it easier to prepare a changelog. 79This makes it easier to prepare a changelog.
80 80
81If 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.
82But many users read changelogs. 84But many users read changelogs.
83 85