On 01/03/17 18:38, Manish Goregaokar wrote:
FWIW gps planned to strip @mentions in the autosync service, so most of the pain here could go away.
Even only within servo/servo @-mentions in PR messages or commit messages still cause more email than necessary. So please keep them to separate PR comments anyway :)
-- Simon Sapin _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
