Min RK a66801c424 Merge pull request #4525 from danilopeixoto/metrics-prefix ...

Add `JUPYTERHUB_METRICS_PREFIX` environment variable to customize metrics prefix

2023-08-10 12:48:14 +02:00

..

source

Merge pull request #4525 from danilopeixoto/metrics-prefix

2023-08-10 12:48:14 +02:00

generate-metrics.py

switch generate-metrics to markdown

2022-12-07 09:02:09 +01:00

make.bat

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

Makefile

docs: refresh Makefile/make.bat

2022-12-07 21:24:59 +01:00

requirements.txt

myst 0.19 changed intersphinx link syntax

2023-03-01 11:02:33 +01:00

test_docs.py

Fix git CLI flag ordering

2022-01-10 10:33:23 +01:00