You can open a feature request, explaining why you think notifications should be disabled or at least have a configuration that allows users to disable it for their own account: github.com/thepracticaldev/dev.to/...
This should help, both you and the team
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
You can open a feature request, explaining why you think notifications should be disabled or at least have a configuration that allows users to disable it for their own account: github.com/thepracticaldev/dev.to/...
This should help, both you and the team