If you mean game-protect, he isn't banned. Modlog shows data for the past 7 days, and he has over 100 deleted posts. So he may have received a tempban, but they aren't shown in public.