[OT] Help for Gmail users to make this list easier to use

This is coming from a different thread, where Alain R. 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:([email protected])
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