binder-stats Querying statistics about the public mybinder.org deployment. This uses the public prometheus data collection service running on mybinder.org
