GitHub repository: 2i2c-org/jupyterhub-groups-exporter
Primary language: Python
Description: A JupyterHub service to export user group memberships to Prometheus.