28 Jul
2016
28 Jul
'16
9:51 p.m.
On Thu, Jul 28, 2016 at 7:48 AM, R. David Murray
The obvious alternative is to just post a link to the PR with some summary about what was posted (perhaps who and how many comments?). I don't have an opinion at this point which would be better, but the core of the proposed patch would be the same, just the output would be different.
This sounds better to me. If the person in the nosy list is interested, they can be added to the nosy list of PR, so that they can subsequent updates from there. Thank you, Senthil