A Prometheus exporter for Dagster that polls GraphQL instead of pushing to Pushgateway

Dagster doesn't expose a /metrics endpoint out of the box. The officially documented way to get...