Source for probably the most contentious piece of moderation Twitter has ever done being manual was their own statement:

“After close review of recent Tweets from the @realDonaldTrump account and the context around them we have permanently suspended the account due to the risk of further incitement of violence,”