about summary refs log tree commit diff
diff options
context:
space:
mode:
authorOliver Scherer <github35764891676564198441@oli-obk.de>2019-04-16 15:15:19 +0200
committerGitHub <noreply@github.com>2019-04-16 15:15:19 +0200
commitd383a12debf1a44701c34fbe0e01cddbbbb3a32f (patch)
tree1cb63bf30712d885bc63ed2db3729099cfcdd1d5
parentf33cbc152dc6fdd47cf1d5eb2343b53e0070c975 (diff)
downloadrust-d383a12debf1a44701c34fbe0e01cddbbbb3a32f.tar.gz
rust-d383a12debf1a44701c34fbe0e01cddbbbb3a32f.zip
Update PULL_REQUEST_TEMPLATE
-rw-r--r--.github/PULL_REQUEST_TEMPLATE4
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE b/.github/PULL_REQUEST_TEMPLATE
index 85c74dbec3e..5567b84b3f5 100644
--- a/.github/PULL_REQUEST_TEMPLATE
+++ b/.github/PULL_REQUEST_TEMPLATE
@@ -18,6 +18,10 @@ checked during review or continuous integration.
 - [ ] `cargo test` passes locally
 - [ ] Executed `util/dev update_lints`
 - [ ] Added lint documentation
+- [ ] Run `cargo fmt`
+
+Note that you can skip the above if you are just opening a WIP PR in
+order to get feedback.
 
 Delete this line and everything above before opening your PR -->