i never get a notification for it, discord just pings randomly, i am pretty sure theres no ghost pinging going on because a lot of my servers im in do not allow it