Hi
Only on MN intermittently so was not avoiding the question.
For the record, I was not suggesting to brush it off, that there is a hierarchy of abuse, that not to report in case he got in trouble.
What was said was wrong. Indefensible.
I did say take action.
I simply suggested that the OP first said no, do not repeat this behaviour ever. Stop now.
My simple query was whether the best first step was to go to HR.
I guess my response was to something broader I see on MN a lot. It seems to be an automatic reaction on MN that if something happens, HR is the best first step. Never to challenge. Just to go straight to HR.
Sometimes it is better for some people to first say no and do not repeat.
(And by the way, if it needs elevating then sometimes a line manager is often most appropriate.
Managers are paid to manage, and if this needed to be elevated it could be done within the team/division etc.
In the last place I worked, managers were paid to handle these issues, deal with this type of misconduct and fire if appropriate.)
All companies are different.
And people issues can be messy as we are all different.
What might be right for one poster may not be right for another.