aboutsummaryrefslogtreecommitdiff
path: root/docs/dev
diff options
context:
space:
mode:
authorLaurenČ›iu Nicola <[email protected]>2020-07-06 11:59:24 +0100
committerLaurenČ›iu Nicola <[email protected]>2020-07-06 11:59:24 +0100
commit8ab0c7ffd3f976272caa65b00220d016f6018d8a (patch)
tree7db910db71e197fd7e492ae47077d084726d2bb3 /docs/dev
parenta0f24455ddc474ee288849b79aa1fc8ca7829385 (diff)
Don't ping people in PRs
Diffstat (limited to 'docs/dev')
-rw-r--r--docs/dev/README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/dev/README.md b/docs/dev/README.md
index f87462400..b6a00df18 100644
--- a/docs/dev/README.md
+++ b/docs/dev/README.md
@@ -314,7 +314,7 @@ We don't have specific rules around git history hygiene.
314Maintaining clean git history is encouraged, but not enforced. 314Maintaining clean git history is encouraged, but not enforced.
315We use rebase workflow, it's OK to rewrite history during PR review process. 315We use rebase workflow, it's OK to rewrite history during PR review process.
316 316
317Avoid @mentioning people in commit messages, as such messages create a lot of duplicate notification traffic during rebases. 317Avoid @mentioning people in commit messages and pull request descriptions, as such messages create a lot of duplicate notification traffic during rebases.
318 318
319# Architecture Invariants 319# Architecture Invariants
320 320