10 minutes ago, PJ Weisberg wrote: > On Aug 31, 2013 11:31 AM, "Eli Barzilay" <[email protected]> wrote: > > > Sidenote#2: Yes, in a perfect world I'd have my client show that > > to me (unlike what it does now, which is add to the subject) based > > on mailing list headers. I could even do that for my own client > > (VM), but good luck getting gmail to add that feature. > > It does have that feature. The label is shown right next to the > subject, if you're looking at it in your inbox.
Um, I don't know what you're talking about. What I was talking about is what I see in gmail, eg: http://tmp.barzilay.org/x.png -- no indication of a mailing list. (And my phone, which is just as indication-less.) > > Sidenote#3: On gmail I could use labels, but doing that for tens > > of lists is a project I don't have time to, and it places a higher > > workload on subscribing to mailing lists since I'd need to > > maintain these rules to match. > > Setting up the rule would take less time than reading even one email > that you didn't intend to read. (Hint: don't look for esoteric > mailing list headers; filter on the To: field.) 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). (But really, I don't want to poop on anyone's lawn. If everyone else is happy with it, so be it. I still have my trusty procmail.) -- ((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.
