Add notifications to GitHub channel on Discord

Also consider giving Francois ownership rights over this repo.

No se nombran archivos, pruebas ni puntos de entrada, y el cuerpo no especifica el comportamiento de las notificaciones ni cómo se relacionan los derechos de propiedad de Francois con la funcionalidad. Primero hay que aclarar el canal de Discord previsto, los eventos que deben notificar, la ubicación de la configuración y la solicitud de propiedad; done debe definirse como notificaciones de GitHub verificadas en Discord, con el cambio de acceso resuelto explícitamente.

Escrito por el modelo de indexación a partir del texto del issue.