I think a ban is fair. Just like if someone keeps nonstop breaking the same rule it becomes a ban. Besides, it's not like a ban is something you get outright for mic spamming. It's what. After 3 times with gags?
So is the proposed change to, instead of banning someone for constantly mic spamming after being gagged several times, to just regag them every round? Or gag them permanently? And if you aren't having permanently, is there any limit before you'd say a ban can be allowed or are you saying that if someone minc spams, gets temp gagged, ungagged, then micspams again 50 times you'll just keep gagging them?
Punishments for breaking rules shouldn't be repeatedly doing the same punishment, it should become exponentially harsher for each offense to discourage.
Example being slurs. Kick, ban, longer ban, etc etc.
A gag with no higher punishments really doesn't feel like a major punishment unless you make them exponentially longer but at what point do you get gagged for so long do you just say "might as well start rdming" or breaking other rules because you're gagged for so long you'll never be able to actually do anything in the community in game.
A ban is a harsher punishment later in the line, that you can make an appeal apologizing to get it reduced or lifted, and serves as more of a deterrent as while banned, you can't play at all, but ehile gagged, you can still do everything else,
Every type of rule breaking should include a ban at some point in the line. Otherwise punishments aren't punishments. They are just inconveniences
And if you make playing the server enough of an inconvenience to someone what's to stop them from breaking worse rules and leaving forever.