diff options
-rw-r--r-- | docs/dev/style.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md index 13c6a2a16..58b309379 100644 --- a/docs/dev/style.md +++ b/docs/dev/style.md | |||
@@ -63,6 +63,18 @@ After you are happy with the state of the code, please use [interactive rebase]( | |||
63 | Avoid @mentioning people in commit messages and pull request descriptions(they are added to commit message by bors). | 63 | Avoid @mentioning people in commit messages and pull request descriptions(they are added to commit message by bors). |
64 | Such messages create a lot of duplicate notification traffic during rebases. | 64 | Such messages create a lot of duplicate notification traffic during rebases. |
65 | 65 | ||
66 | If possible, write commit messages from user's perspective: | ||
67 | |||
68 | ``` | ||
69 | # Good | ||
70 | Goto definition works inside macros | ||
71 | |||
72 | # Not as good | ||
73 | Use original span for FileId | ||
74 | ``` | ||
75 | |||
76 | This makes it easier to prepare a changelog. | ||
77 | |||
66 | ## Clippy | 78 | ## Clippy |
67 | 79 | ||
68 | We don't enforce Clippy. | 80 | We don't enforce Clippy. |