Would allow people with the @repop role to choose whether or not to receive pings for the different servers.