<div class="gmail_quote">On Thu, Jul 19, 2012 at 5:38 PM, Barry Smith <span dir="ltr"><<a href="mailto:bsmith@mcs.anl.gov" target="_blank">bsmith@mcs.anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">> This is what I do for myself [with pine]<br>
<br>
</div>   Doesn't solve the problem because the user still has in their header the developers email address.<br></blockquote><div><br></div><div>This is something that a developer using certain hosts can do to make the issue moot, not something that involves the user.</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
>> Alternative would be for petsc-maint to remove the user's email from<br>
>> reply-to when it delivers to us, then match message headers so that our<br>
>> replies which go only to petsc-maint would be forwarded to the original<br>
>> reporter. Seems very fragile.<br>
<br>
</div>    That is what it should do. Nothing fragile about it. Not hard shit.<br></blockquote><div><br></div><div>What happens when the user Cc's other people in a follow-up. We don't even see the Cc's, but petsc-maint keeps emailing them. Even if the user shortens the Cc list, does the server know to remove it? Suppose the initial report Cc's some people that might be interested, but later they remove those addresses and send something sensitive that the original Cc list should not be able to see. It would have to be written carefully to preserve email semantics while emulating all of us being a single address. I don't have a reason why it can't be done, but I think it's something that could easily be messed up. </div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
> And then there will be no more private<br>
> messages [between us] on petsc-maint :)<br>
<br>
</div>    Why? petsc-maint server will always bounce everything sent to it back to the developers.</blockquote></div><br><div>How often does some not-to-be-named developer remove the user from the Cc list and make a snide remark?</div>
<div><br></div><div>If you answered Never, you earn two points.</div>