Add notifications to GitHub channel on Discord

Also consider giving Francois ownership rights over this repo.

Aucun fichier, test ou point d’entrée n’est indiqué, et le corps ne précise ni le comportement des notifications ni la manière dont les droits de propriété de Francois sont liés à la fonctionnalité. Il faut d’abord clarifier le canal Discord prévu, les événements à notifier, l’emplacement de la configuration et la demande de propriété ; done doit être défini comme des notifications GitHub vérifiées dans Discord, avec la modification de l’accès explicitement résolue.

Rédigé par le modèle d'indexation à partir du texte de l'issue.