Hi Robert, Glad you like it. Depends on what you want to filter on, if you mean on the fact that @jenkinsci/code-reviewers alias was target, that info does indeed not seem to be in the email.
But seems like you can use some wildcards and so on. Like : list:(jenkins*.github.com) to filter for every notifications from jenkins projects (jenkinsci, jenkins-infra...). My 2 cents 2016-01-07 11:39 GMT+00:00 Robert Sandell <[email protected]>: > Cool idea! > I'm just sad that gmail doesn't provide me with means of filtering on mail > headers so these requests will unfortunately be lost in the rest of the > GitHub updates that I get. Unless someone with more gmail filter foo has > any tips for me. > > /B > > On Thu, Jan 7, 2016 at 5:08 AM, Michael Neale <[email protected]> > wrote: > >> I think its a good idea. It's been around for a while but team mentions >> are not often used: >> https://github.com/blog/1121-introducing-team-mentions (lately I have >> heard a few people mention it, but it isn't a new thing as far as I can >> tell from github). >> >> Cool stuff! Certainly a bit better than @-mentioning someone by name that >> you would normally ask for a review (as they may be busy). >> >> On Thursday, January 7, 2016 at 7:42:26 AM UTC+11, Baptiste Mathus wrote: >>> >>> Hi everyone, >>> >>> If you've already tried to get feedback on a PR you were working on, or >>> are interested in helping & learning things by reviewing other's code, read >>> on. >>> >>> Daniel just helped set up a Jenkinsci GitHub organization new sub-team >>> called '*code-reviewers*' to define a group of people willing to try >>> and review code at the request of others. >>> >>> - If you want to be part of it, click on the right button on that >>> page: >>> https://github.com/orgs/jenkinsci/teams/code-reviewers >>> >>> - If you want to notify that team (and get reviewed) in a comment, >>> use the *@jenkinsci/code-reviewers* form (should autocomplete). >>> >>> Here it is. This is something we wanted to try and still very early in >>> the process, don't hesitate to tell us what you think of it here or on IRC. >>> >>> Hope you find it useful! >>> >>> Cheers >>> >>> -- Baptiste >>> >> -- >> You received this message because you are subscribed to the Google Groups >> "Jenkins Developers" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/jenkinsci-dev/4b0e5f1a-40c1-4eb3-93bd-7737a4f8efec%40googlegroups.com >> <https://groups.google.com/d/msgid/jenkinsci-dev/4b0e5f1a-40c1-4eb3-93bd-7737a4f8efec%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Robert Sandell > *Software Engineer* > *CloudBees Inc.* > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-dev/CALzHZS11ay2OLec4%3DgTbkni8oberYY5eO%3DUwr3HsoNvzwsGBsQ%40mail.gmail.com > <https://groups.google.com/d/msgid/jenkinsci-dev/CALzHZS11ay2OLec4%3DgTbkni8oberYY5eO%3DUwr3HsoNvzwsGBsQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CANWgJS5NYiyJi28a%3DgmR7b%3Dj5Gz_UxYPLEXd6DjmqOQtaEQgQQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
