Well first, the file is usually called `tea.yaml` - and the other PRs show that. Not sure why this guy named his file mikotea9... I agree in cases like this Gi

Well first, the file is usually called `tea.yaml` - and the other PRs show that. Not sure why this guy named his file mikotea9... I agree in cases like this GitHub should take action, but in general it would be nice to let people set their own filters as it allows maintainers to prevent abuse more specific to their project, instead of letting GitHub themselves chase things around, and makes it easy to fix the next major spam event that comes around.