Finding the user or role ID to use in a Discord mention is easy. Simply follow these steps:

Enable Developer Mode

To easily copy user and role ID's within the Discord client, Developer Mode must be enabled. This has to be done only once.

1. Open "User Settings".
2. Open the "Advanced" tab.
3. Enable the "Developer Mode" toggle.

After enabling developer mode the ability to copy and paste identifiers is enabled.

Copy role ID

To find the unique identifier of a Discord role visit the Server Settings.

1. Open "Server Settings" by clicking the "Server Name" header.
2. Open the "Roles" tab.
3. Right-click the desired role in the "Roles" list.
4. Click "Copy Role ID".

A valid role ID is a numeric value from zero to nine (0-9) approximately 19 characters long.

Mentioning a role

To mention a role in an outgoing Readybot message use the syntax:

<@&ROLE_ID_HERE>

Replace the "ROLE_ID_HERE" placeholder with the copied role ID. For example, for the role 12345678987654321 enter <@&12345678987654321>.

To mention the "everyone" role, simply enter "@everyone".

Copy user ID

To find the unique identifier of a Discord user open the desired Discord server.

1. Find the user in the server sidebar.
2. Right-click the desired user.
3. Click "Copy User ID".

A valid role ID is a numeric value from zero to nine (0-9) approximately 19 characters long.

Mentioning a user

To mention a role in an outgoing Readybot message use the syntax:

<@USER_ID_HERE>

Replace the "USER_ID_HERE" placeholder with the copied role ID.