Discord : rôle non attribué, permission manquante, rôle du bot trop bas

En bref. Un membre reçoit un rôle sur le site, mais son rôle Discord relié n'arrive pas ? Discord a refusé. La fiche du membre (Administration → Membres) montre les derniers appels à Discord : un refus en 403 veut dire « permission manquante ».

Les causes, dans l'ordre #

1. Le rôle du bot est trop bas #

Un bot ne peut donner que les rôles placés sous le sien.

1. Discord : Paramètres du serveur → Rôles.
2. Glisse le rôle du bot au-dessus de tous les rôles qu'il doit donner.
3. Dans Agora, sur la fiche du membre : Resynchroniser ses rôles Discord.

Agora le vérifie avant que tu enregistres : dans Administration → Configuration → Connexion Discord, un rôle placé au-dessus du bot (ou au même rang) est grisé dans la liste, avec la raison, et le choisir malgré tout est refusé à l'enregistrement. Si tu déplaces les rôles plus tard, les correspondances devenues impossibles s'affichent en rouge sous Correspondances que Discord refusera. Cette liste couvre les rôles des groupes et les rôles par grade du MDT. Sous chaque problème, le bouton Ouvrir dans l'app Discord mène à l'écran où le corriger (Paramètres du serveur → Rôles, Intégrations), et Ouvrir le portail développeur (onglet Bot) à ton application (il faut que le Client ID soit renseigné). Ces boutons n'ouvrent que l'application de bureau : sur mobile, sous Linux ou dans le navigateur, ils peuvent ne rien faire, suis alors le chemin écrit à côté.

Pour comprendre pourquoi l'ordre compte, voir l'aide officielle : Rôles et permissions dans Discord.

Astuce, application de bureau seulement. Si tu connais l'ID de ton serveur (voir Créer et configurer ton bot Discord, étape 6), colle dans la barre d'adresse de ton navigateur discord://-/guilds/ID/settings/roles (Rôles), discord://-/guilds/ID/settings/integrations (Intégrations : tu y vois si le bot est bien là) ou discord://-/guilds/ID/settings/audit-log (Journal d'audit : qui a changé quels rôles), en remplaçant ID par l'ID du serveur. Ce sont des raccourcis non officiels, qui peuvent cesser de marcher ; le chemin par Paramètres du serveur fonctionne toujours.

2. La permission « Manage Roles » manque #

1. Discord : Paramètres du serveur → Rôles → le rôle du bot.
2. Active Gérer les rôles (Manage Roles).
3. Resynchronise.

3. « Server Members Intent » n'est pas activé #

Portail des développeurs Discord → ton application → Bot → active Server Members Intent. Raccourci : https://discord.com/developers/applications/ID/bot, où ID est le Client ID de ton application (celui de Administration → Configuration → Connexion Discord, bloc Connexion Discord (OAuth)).

4. Le rôle est géré par une intégration #

Les rôles de boost ou d'un autre bot (marqués « géré par une intégration ») ne sont pas attribuables. Choisis un autre rôle dans Administration → Configuration → Connexion Discord.

5. Un rôle reçu sur Discord n'ajoute pas le membre à son groupe #

C'est la case Synchroniser Discord → Agora d'un groupe (voir Rôles Discord, synchronisation et « Membre suspendu »). Vérifie dans cet ordre :

1. la case est cochée pour ce groupe (elle est grisée pour un groupe de pouvoir : administrateur, modérateur, droits, examinateurs de candidatures) ;
2. le membre a déjà un compte relié à son Discord (sinon il est aligné à sa première connexion) ;
3. le panneau Problèmes récents de Administration → Configuration → Connexion Discord :

Un membre qui quitte le serveur de lui-même n'est retiré du groupe, en mode repli, qu'à la prochaine relecture : clique Resynchroniser. Chaque problème a son bouton Ouvrir dans l'app Discord ou Ouvrir le portail développeur, comme ci-dessus.

Les messages de Administration → Configuration → Connexion Discord #

Remettre tout le monde à jour #

Après avoir corrigé, Administration → Membres → Resynchroniser tous les membres → Lancer la resynchronisation. Laisse la page ouverte jusqu'au bout.