about summary refs log tree commit diff
diff options
context:
space:
mode:
authorLzu Tao <taolzu@gmail.com>2019-08-08 21:37:19 +0700
committerLzu Tao <taolzu@gmail.com>2019-08-08 21:37:19 +0700
commit5cad46d15a23a23f3075cdd285f5578b2da57e43 (patch)
tree85a0f5545de62f4c4d199a35dd67a78f7b31ec41
parentb041511b5fcd386c4ae74a30b60a5081f8717fbe (diff)
downloadrust-5cad46d15a23a23f3075cdd285f5578b2da57e43.tar.gz
rust-5cad46d15a23a23f3075cdd285f5578b2da57e43.zip
template: Update how to format source code with ./util/dev
-rw-r--r--.github/PULL_REQUEST_TEMPLATE6
-rw-r--r--doc/adding_lints.md4
2 files changed, 7 insertions, 3 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE
index 5567b84b3f5..e4a9381f5ba 100644
--- a/.github/PULL_REQUEST_TEMPLATE
+++ b/.github/PULL_REQUEST_TEMPLATE
@@ -16,9 +16,11 @@ checked during review or continuous integration.
 - [ ] Followed [lint naming conventions][lint_naming]
 - [ ] Added passing UI tests (including committed `.stderr` file)
 - [ ] `cargo test` passes locally
-- [ ] Executed `util/dev update_lints`
+- [ ] Executed `./util/dev update_lints`
 - [ ] Added lint documentation
-- [ ] Run `cargo fmt`
+- [ ] Run `./util/dev fmt`
+
+[lint_naming]: https://rust-lang.github.io/rfcs/0344-conventions-galore.html#lints
 
 Note that you can skip the above if you are just opening a WIP PR in
 order to get feedback.
diff --git a/doc/adding_lints.md b/doc/adding_lints.md
index 0e73bdba108..ef09c423044 100644
--- a/doc/adding_lints.md
+++ b/doc/adding_lints.md
@@ -368,10 +368,12 @@ output in the `stdout` part.
 
 Before submitting your PR make sure you followed all of the basic requirements:
 
+<!-- Sync this with `.github/PULL_REQUEST_TEMPLATE` -->
+
 - [ ] Followed [lint naming conventions][lint_naming]
 - [ ] Added passing UI tests (including committed `.stderr` file)
 - [ ] `cargo test` passes locally
-- [ ] Executed `util/dev update_lints`
+- [ ] Executed `./util/dev update_lints`
 - [ ] Added lint documentation
 - [ ] Run `./util/dev fmt`