To directly notify someone in a Discord server through mention (@user); also used as a verb. Fan community servers often have norms about when pinging is appropriate.