dotty-bot: don't ask people to set a reviewer

smarter · smarter · commit ae2d20e22d6a · 2017-05-06T00:27:21.000+02:00
- They can't set one (only contributors can)
- They would have no idea who to set it to anyway.
diff --git a/bot/src/dotty/tools/bot/PullRequestService.scala b/bot/src/dotty/tools/bot/PullRequestService.scala
@@ -244,9 +244,6 @@ trait PullRequestService {
 
     val body =
       s"""|Hello, and thank you for opening this PR! :tada:
-          |
-          |If you haven't already, please request a review from one of our
-          |collaborators (have no fear, we don't bite)!
           |
           |$cla
           |

Original file line number	Diff line number	Diff line change
`@@ -244,9 +244,6 @@ trait PullRequestService {`
`244`	`244`
`245`	`245`	`val body =`
`246`	`246`	`s"""\|Hello, and thank you for opening this PR! :tada:`
`247`		`- \|`
`248`		`- \|If you haven't already, please request a review from one of our`
`249`		`- \|collaborators (have no fear, we don't bite)!`
`250`	`247`	`\|`
`251`	`248`	`\|$cla`
`252`	`249`	`\|`