On 2016-12-02 20:39, René J.V. Bertin wrote: > What does "@mentioning maintainers on pull requests" do, concretely? > (If it's akin to those #sillytweetythingies, aka "hey @RJVB, could you ..." - > that looks just as silly to me, if you read the notification emails before > opening the webpage :) )
Which notification mail? There are no notification mails going to the maintainer for pull requests unless the person opening the pull requests includes a @ mention. Rainer