Yup. I’m generally pro “people not assaulting one another”, but I also don’t trust cops or believe they automatically make situations like this better, so frankly if there’s a way to resolve the matter without them I’d go for it, especially for something on the level of a shove.