Add prometheus info metrics listing server extensions + versions#1470
Merged
Zsailer merged 4 commits intojupyter-server:mainfrom Nov 4, 2024
Merged
Add prometheus info metrics listing server extensions + versions#1470Zsailer merged 4 commits intojupyter-server:mainfrom
Zsailer merged 4 commits intojupyter-server:mainfrom
![pre-commit-ci[bot]](https://avatars.githubusercontent.com/in/68672?v=4&size=32){kind=avatar}