Staff may be pinged in discord from in game by simply typing @Staff <message> in the global chat channel. Alternatively, you can use the names below them on this page to ping them personally or their group.
daskyizbloo - Server Administrator
Ping from in game @daskyizbloo or @OP
Binomial - Server Manager
Ping from in game @Binomial or @OP
Tris - Community Manager
Ping from in game @Tris or @Mod