Another guy putting their hands on you

Would you tell your SO if another guy put his hands on you/shoved/pushed you? It wasn't much aggresive but it was to the point where it did bother you. & your SO has made comments before about him seriously injuring the other person who hurt you 
A side of me wants him to know but the other side doesn't want him to end up getting in serious trouble. 
What's your opinion on this? I just want to see someone else's point of view