It is considered BAD FORM not to ping someone who is mentioned in a reply.
But you knew that...
...so I will help.
Oh boy another tattler. I feel like I am surrounded by 4 year olds sometimes.
The person I replied to didn’t ping him so I decided not to as well. Seemed the civilized thing to do, otherwise it might look like I am the tattler.