We now have a plurality of +1s so I'm going to merge this.
On 21/07/2020 18:12, Joan Touzet wrote:
Please see lines 29-32 of the file. We can also make this change if we want - which would send new/closed PR notifications to dev@, while sending all comments/etc to notifications@ as we do today.
Just a note that while this didn't happen, I'm +1 if someone else wants to file the PR to uncomment those (and comment out line 28.)
-Joan
