Just now, Nikolai Weibull wrote:
> 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.
(It baffles me that so many people insist on not doing something that
is so overwhelmingly popular, but like I said -- I'll just drop it.
No need to reply.)
(And yes, I get a *lot* of email.)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://barzilay.org/ Maze is Life!
--
---
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.
