Leo G.@leo-g6/21/2024, 4:06 PMfun time at work: someone left a comment on a pull request that was So condescending (not at me, not even my pull request) i asked my manager to go to HR