
Originally Posted by
Özim
The one that would say that pushing someone on the pitch should/could be a yellow card, it's an intentional action and nothing to do with playing football.
But anyway, I'm not saying he should have been sent off, but if you're applying rules to the letter like you suggest then he could have been.