PARLIAMENT VOTE #32: Adding the Plugin, DiscordSRVIgnore

[Cbddallas (OP)]

Notice: To Register for Parliament, post a reply to the thread in this link: http://www.villagecraft-server.com/forum/index.php?topic=22.0

Parliament Vote #32: Adding the Plugin, DiscordSRVIgnore

Note: Original Senate vote can be found here: http://www.villagecraft-server.com/forum/index.php?topic=5489.0

With the passing of this legislation, the following will occur:

the plugin DiscordSRVIgnore, developed by CyphurTheFox, will be installed to the server, contingent on Parliament approval.

DiscordSRVIgnore is a plugin that adds a lacking function to the Server's Discord <-> Minecraft interactions, specifically allowing players to disable receiving messages broadcast to the server from the plugin DiscordSRV.

---
This vote was initiated by senate nominations from Senator Daypath and Senator Namoi.
Staff approval from:[SM]Namoi, [SM]CyphurTheFox, [SM]TheLegend12369 and [A]Airbongus

If you are indifferent, please abstain.
If "Yes" is majority, the changes will be implemented on the server
If "No" is majority, the status quo will remain

Please vote either: Yes, to approve the bill; No, to disapprove the bill; or Abstain, to abstain from the vote.

All Members of Parliament may vote.
For the act to pass, a majority of voting MPs must vote in favor.

This vote will be open for 7 Days

[Akomine]

Requested by several players, this plugin adds a missing feature to the server; the ability to ignore messages from a user on discord while playing in-game. Currently you can ignore another player's chat in-game, but not from the discord, so this fixes that. Currently, a person could potentially bypass your ability to ignore their messages by simply using the discord, so this solves that.

Additionally, this plugin also allows you to ignore any and all messages transmitting from discord to in-game. Though this particular function may not necessarily be used often, it's still technically there should anyone want to use it.


Cleaning up this gap in chat ignore functionality makes sense to me, especially since we often recommend ignoring a player when someone is finding them bothersome or discomforting, so I've voted yes.

[MutluMali]

is this still going to happen ?