aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-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