On Wed, Jun 30, 2010 at 5:15 PM, D'Arcy J.M. Cain <da...@druid.net> wrote: > On Wed, 30 Jun 2010 14:06:05 -0700 > Stephen Hansen <me+list/pyt...@ixokai.io> wrote: >> Gmail and Google Groups are not one and the same. There's a number of >> people who subscribe to the list directly, use Gmail, and don't go >> anywhere near Google Groups. > > I know that. My filter doesn't catch them. > >> > If anyone is interested in the procmail recipe I will be using, here it >> > is in all it's glory. >> > >> > :0: Hir >> > * ^List-Id:.*python-list.python.org >> > * ^From:....@gmail.com >> > * ^Newsgroups: >> > /dev/null > > As you can see, to be caught in the filter you need to have a gmail > address and be sending through the news gateway. People sending from > gmail.com directly to the mailing list don't get picked up. I'm pretty > sure that that defines everyone using Google Groups only. I am > definitely open to correction though.
If you get this, you get the gmail-but-not-google-groups stuff. Geremy Condra -- http://mail.python.org/mailman/listinfo/python-list