DoNotPingMe

Discord bot which discourages others from pinging you in chat.