Development is fun and if you want to spice it up you could make a gamification plan for your developers. I have used this in some companies I have...
For further actions, you may consider blocking this person and/or reporting abuse
Gamification can help with many issues. It is worth delving into this topic and reading this post even more: gamerseo.com/blog/gamification-str...