Help for Gmail users to make this list easier to use.

This is coming from a different thread, where Alain Ravet gave a
couple of Gmail filters he uses for this group. If you have any tips,
please post them.

I use the following filter.

Matches: to:(
Do this: Skip Inbox, Apply label "*[rails]"

This keeps all of the list traffic out of my Inbox, and labels the
email appropriately. The "*" in front of the name is simply for
sorting. I have a lot of labels and a lot of filters. Five of my
filter/labels dump directly into my archive, so I mark them with a "*"
to keep those labels grouped together.

-- James