aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--docs/dev/style.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/dev/style.md b/docs/dev/style.md
index 2454087e8..44f0956c2 100644
--- a/docs/dev/style.md
+++ b/docs/dev/style.md
@@ -239,8 +239,9 @@ If the line is too long, you want to split the sentence in two :-)
239# Commit Style 239# Commit Style
240 240
241We don't have specific rules around git history hygiene. 241We don't have specific rules around git history hygiene.
242Maintaining clean git history is encouraged, but not enforced. 242Maintaining clean git history is strongly encouraged, but not enforced.
243Use rebase workflow, it's OK to rewrite history during PR review process. 243Use rebase workflow, it's OK to rewrite history during PR review process.
244After you are happy with the state of the code, please use [interactive rebase](https://git-scm.com/book/en/v2/Git-Tools-Rewriting-History) to squash fixup commits.
244 245
245Avoid @mentioning people in commit messages and pull request descriptions(they are added to commit message by bors). 246Avoid @mentioning people in commit messages and pull request descriptions(they are added to commit message by bors).
246Such messages create a lot of duplicate notification traffic during rebases. 247Such messages create a lot of duplicate notification traffic during rebases.