Is it good if my crush’s friends were teasing him about me

Basically him and I were flirting in the fall time but stopped talking

Than I walked into class the first day of second semester and he was in that class with all his friends

And they all were using a teasing voice and going “ooooh” a ton and they kept saying his name they’d be like “oooh josh joshhhhh”

His friend also came up to me later that week at a prty and mentioned that I was in the class

The thing is my crush has a girlfriend now (I say crush bc it’s easy and I used to like him… but don’t want to pursue him and don’t talk to him anymore bc I respect him having a girlfriend. But I will say it seems like he still tries to talk to me obsessively and I kinda ignore it)..

So I’m wondering if his friends would tease him about me bc of him liking me if he has a girlfriend or if they were making fun of me for liking him idk haha