Gentoo Archives: gentoo-dev

From: Qian Qiao <qian.qiao@×××××.com>
To: gentoo-dev@××××××××××××.org
Subject: Re: [gentoo-dev] robin.gentoo.org vs lists.gentoo.org
Date: Fri, 25 Feb 2005 14:03:13
Message-Id: c3d5f38005022506033716a3df@mail.gmail.com
In Reply to: Re: [gentoo-dev] robin.gentoo.org vs lists.gentoo.org by Roman Gaufman
1 On Thu, 24 Feb 2005 19:41:23 +0000, Roman Gaufman <hackeron@×××××.com> wrote:
2 > On Thu, 24 Feb 2005 18:21:29 +0000, Ciaran McCreesh <ciaranm@g.o> wrote:
3 > > On Fri, 25 Feb 2005 04:34:38 +1030 stephen white
4 > > <steve@×××××××××××××××.au> wrote:
5 > > | Could people please stop sending list messages to robin.gentoo.org, as
6 > > | it's stuffing up my mail folders...
7 > > |
8 > > | It should be lists.gentoo.org! :)
9 > >
10 > > Fix your mail filter rules to use the List-Id header. You may wish to
11 > > read the huge flamefest on the -user list before objecting -- there's a
12 > > post in there somewhere which explains why you should do this rather
13 > > than filtering on To: .
14 >
15 > Hmm, tried putting list-id into 'contains words', but that didnt work.
16 > Any idea how to filter list-id on gmail?
17
18 As I've posted earlier, before gmail can filter list-id, you can
19 fileter it by TO: gentoo-users (notice, I've omitted the
20 @someserver.gentoo.org part).
21
22 That should work.
23
24 HTH.
25
26 -- Joe
27
28 --
29 Money can't buy everything.
30 Sometimes money can't even buy a gun...
31 --
32 gentoo-dev@g.o mailing list