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