]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(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)
commit5c9081181480e1df9fc41bfb488b4936d1f1e4d8
tree063fddf3b96ccb82e718f59255927916b91e61c4tree | snapshot
parent0f6e6363fc4bd40b21a325353db72964fbecca94commit | diff
parent77f2ac4a4981e800708fb5e877817f4781e7f87acommit | diff
Rollup merge of #66826 - mlodato517:mlodato517-clarify-pr-message-assigner, r=Dylan-DPC

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).
Empowering everyone to build reliable and efficient software.