[HCoop-Discuss] Goals and policies

[Adam Chlipala]

Davor Ocelic wrote:
> On Sat, Jan 05, 2008 at 02:25:17PM -0700, Shaun Kruger wrote:
>   
>> Either way, I think it's time for me to leave the coop.
>> The only trouble is I'm not sure how I go about leaving the coop.  I
>> looked on the wiki and didn't find anything.  Browsing the members
>> portal was also less than fruitful.  Maybe I just don't know where to
>> look.
>>     
>
> Just stating that you want to end your membership is enough.
> Adam will take care of that and let you know of the details.
>   

Actually, I prefer only to close accounts when Bugzilla bugs are filed 
requesting closure.  Unencrypted e-mail is too insecure and would 
provide an easy way for anyone to get anyone else's account deleted.