Add note that we follow a rustc no merge-commit policy

2020-10-08 23:13:06 +09:00 · 2020-10-08 23:13:06 +09:00 · fd61686ad5
commit fd61686ad5
parent c8d89ba5d5
1 changed files with 6 additions and 0 deletions
--- a/doc/basics.md
+++ b/doc/basics.md
@ -13,6 +13,7 @@ Lints] or [Common Tools].
  - [Setup](#setup)
  - [Building and Testing](#building-and-testing)
  - [`cargo dev`](#cargo-dev)
+  - [PR](#pr)

 ## Get the Code

@ -110,3 +111,8 @@ cargo dev new_lint
 # (experimental) Setup Clippy to work with rust-analyzer
 cargo dev ra-setup
 ```
+
+## PR
+
+We follow a rustc no merge-commit policy.
+See <https://rustc-dev-guide.rust-lang.org/contributing.html#opening-a-pr>.