From 2d0464a6f3c572d7736670c22c71efe8aca93749 Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Mon, 11 Jan 2021 16:29:29 +0300 Subject: [PATCH] Encourage gifs --- docs/dev/style.md | 2 ++ 1 file changed, 2 insertions(+) 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.