Srsly, github. Please stop with these.

There is no way to filter these messages except via the title.

No listid header, the return address is “noreply@github.com”, no option on the github website to “Never ever send me a message to tell me about the repo I just created myself because apparently I forgot because I have Alzheimer’s or something so I need a reminder about the repo I just created”.

And yet I do not have Alzheimer’s, yet, as far as I know, and I do get a crazy-making amount of email via github, and it is my job, so I can’t simply throw away all of it.

Hence, the filter.