diff options
| author | Aleksey Kladov <[email protected]> | 2021-01-11 13:29:29 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2021-01-11 13:29:29 +0000 |
| commit | 2d0464a6f3c572d7736670c22c71efe8aca93749 (patch) | |
| tree | abef5801ab1ac82cdf096c61d0baa39a7d18cc4a /docs/dev | |
| parent | 8c33ffecc1feea732f2ea18b3701c145adc73928 (diff) | |
Encourage gifs
Diffstat (limited to 'docs/dev')
| -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 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 | ||