I’m probably not the only one who uses g-mail and who get tons of messages like this:
Do people have some clever filters to remove the less interesting GitHub mails from their repos (but keep the more interesting ones)?
(I know “interesting” is subjective, but learning what people consider interesting or not is probably the more useful part of this question, and one reason I am asking it, as I’m afraid I might filter something I’d on a second though would have liked to keep)