Closed
Description
Hi there,
Love this extension - just wanted to check for clarification on how it is supposed to overlap with the builtin notebook prometheus metrics. I noticed when I install it, it takes over the metrics endpoint:
curl 'localhost:8888/metrics?token=...'
{"rss": 57704448, "limits": {}}
This seems to conflict with these metrics:
https://github.com/jupyter/notebook/blob/master/notebook/prometheus/metrics.py
Just wanted to check if this is expected or if I'm installing it wrong