Ping command works anywhere in the server

The /ping command for the discord bot can be used anywhere in the server, when it should be restricted to the #bot-commands channel specified in the ids.json file, as specified in the image attached.

<img width="539" alt="image" src="https://github.com/user-attachments/assets/f2a87434-54ca-4025-b01d-6b7def50a138">

