Mole 🐀 A Discord → MySQL + LDAP sync bot. This bot automatically keeps Discord roles and members synchronized with a MySQL database and an LDAP directory. It can also trigger external system hooks (e.g. PHP scripts) when roles change. --- ✨ Features * Syncs **Discord roles → LDAP groups** * Syncs **Discord users → LDAP users** * Stores users and roles in **MySQL** * Handles **role renames** gracefully * Triggers an external **hook script** when a role changes for none ldap integrations * Maintains a placeholder `nobody` user in LDAP (required so LDAP groups are never empty) * Optionally manages **POSIX attributes** (uid/gid/home/shell) for Linux integration * Supports per-role **disk quota values** for nextcloud