Re: [gentoo-dev] robin.gentoo.org vs lists.gentoo.org

[Qian Qiao <qian.qiao@gmail.com>]

On Thu, 24 Feb 2005 19:41:23 +0000, Roman Gaufman <hackeron@gmail.com> wrote:
> On Thu, 24 Feb 2005 18:21:29 +0000, Ciaran McCreesh <ciaranm@gentoo.org> wrote:
> > On Fri, 25 Feb 2005 04:34:38 +1030 stephen white
> > <steve@cs.adelaide.edu.au> wrote:
> > | Could people please stop sending list messages to robin.gentoo.org, as
> > | it's stuffing up my mail folders...
> > |
> > | It should be lists.gentoo.org! :)
> >
> > Fix your mail filter rules to use the List-Id header. You may wish to
> > read the huge flamefest on the -user list before objecting -- there's a
> > post in there somewhere which explains why you should do this rather
> > than filtering on To: .
> 
> Hmm, tried putting list-id into 'contains words', but that didnt work.
> Any idea how to filter list-id on gmail?

As I've posted earlier, before gmail can filter list-id, you can
fileter it by TO: gentoo-users (notice, I've omitted the
@someserver.gentoo.org part).

That should work.

HTH.

-- Joe

-- 
Money can't buy everything.
Sometimes money can't even buy a gun...
--
gentoo-dev@gentoo.org mailing list