[Hcoop-discuss] Web-enabled searching of the mailing list

[Adam Chlipala]

Brian Templeton wrote:

>I can go ahead and add them to Gmane, if nobody objects. Would
>gmane.org.hcoop.{announce,discuss,misc} be okay?
>
>  
>
Currently, no one can subscribe directly to any of these lists; the 
portal subscribes new members to the first, and members control their 
own subscription status to the second two with the portal.

It would be a policy change to let basically everyone into these lists.  
What do y'all think?