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

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

[stephen white]

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! :)

Thanks,
     Steve.

--
   steve@cs.adelaide.edu.au

CRICOS Provider Number 00123M
------------------------------------------------
This email message is intended only for the addressee(s)
and contains information that may be confidential and/or
copyright.  If you are not the intended recipient please
notify the sender by reply email and immediately delete
this email. Use, disclosure or reproduction of this email
by anyone other than the intended recipient(s) is strictly
prohibited. No representation is made that this email or
any attachments are free of viruses. Virus scanning is
recommended and is the responsibility of the recipient.

--
gentoo-dev@gentoo.org mailing list

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

[Ciaran McCreesh]

[-- Attachment #1: Type: text/plain, Size: 644 bytes --]

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: .

-- 
Ciaran McCreesh : Gentoo Developer (Vim, Fluxbox, shell tools)
Mail            : ciaranm at gentoo.org
Web             : http://dev.gentoo.org/~ciaranm


[-- Attachment #2: Type: application/pgp-signature, Size: 189 bytes --]

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

[Roman Gaufman]

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?

> 
> --
> Ciaran McCreesh : Gentoo Developer (Vim, Fluxbox, shell tools)
> Mail            : ciaranm at gentoo.org
> Web             : http://dev.gentoo.org/~ciaranm
> 
> 
>
--
gentoo-dev@gentoo.org mailing list

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

[Mike Frysinger]

On Thursday 24 February 2005 02:41 pm, Roman Gaufman wrote:
> Hmm, tried putting list-id into 'contains words', but that didnt work.
> Any idea how to filter list-id on gmail?

file a request through gmail's help system for it :)

in the meantime, i'd suggest you filter by subject '[gentoo-dev]'
-mike
--
gentoo-dev@gentoo.org mailing list

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

[Qian Qiao]

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

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

[Stephen Bennett]

On Fri, 2005-02-25 at 04:34 +1030, stephen white 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! :)

Could people please stop filtering on To: address, as it screws up when
infra want to change the lists server...

It should be List-Id! :)

--
gentoo-dev@gentoo.org mailing list