On Sun, Sep 1, 2013 at 10:37 AM, Eli Barzilay <[email protected]> wrote:
> Last week I joined a new project, with about 90 github-hosted > repositories. Each of these acts as its own mailing list. Can you > imagine sitting in front of gmail and manually setting 90 filtering > rules? Worse, if I move on to a different project in a few months I > need to scan the list and drop these rules. This kind of manual > maintenance is just impractical. Lucky for me, github follows the > "[repo]" convention for these emails... much like 90% of the mailing > lists that I have seen (including the mailman-users list, btw). That’s why (the web interface of) Gmail includes an easy way to set up a new filter for a mailing list. You click on the little menu button next to the “to” line below the subject line and then click “Filter messages from this mailing list”. It’s not a particularly quick way of setting up 90 filters, but I would imagine that receiving emails from 90 mailing lists in the first place is a bigger problem. -- --- You received this message because you are subscribed to the Google Groups "magit" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
