how to mute a discord server on android Minecraft Servers

how to mute a discord server on android