watching it live i thought our lineman shoved a player with both hands which the ref ignored then he pushed another with his left which the ref called.
I agree ref should never call something like that when clearly both sides are involved in such a crucial part of the game however, super stupid to give the ref that option!