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

- They can't set one (only contributors can)
- They would have no idea who to set it to anyway.

lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,som-snytt/dotty,dotty-staging/dotty,som-snytt/dotty,dotty-staging/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,lampepfl/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty