]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0f6e636 77f2ac4)
Rollup merge of #66826 - mlodato517:mlodato517-clarify-pr-message-assigner, r=Dylan-DPC
authorRalf Jung <post@ralfj.de>
Fri, 29 Nov 2019 21:57:39 +0000 (22:57 +0100)
committerGitHub <noreply@github.com>
Fri, 29 Nov 2019 21:57:39 +0000 (22:57 +0100)
Clarifies how to tag users for assigning PRs

Clarifies language of where to put `r?` text to assign a particular user. Mostly a follow up of [this discussion](https://github.com/rust-lang/rust/pull/66797#issuecomment-559153444).


Trivial merge
Empowering everyone to build reliable and efficient software.