A "ban" would be getting some official (i.e. court-based) decision that prevents Trump from entering the race.Got you, I did not read the word “ban” in a literal sense but in the spirit I perceived the post to be about.
After all the shenanigans if they kept Trump off the ballot I would say they banned him as shorthand…
Party shenanigans are lawful (if despicable), and should be fully expected. A candidate has legal recourse to fight shenanigans - or alternate means of getting onto the ballot. Not so, with a ban.