Advice please

[Hamjamwich]

Ds is messaging someone who is 13. He is 15. They got chatting in a game. I told him to stop and she's been told to stop.
They are still messaging each other. Shall I report it to school?

@Hamjamwich

The girl contacted my ds, he cut contact previously

So block her number on his phone, then delete her details. He needs to cut contact again and stick to it.