mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [ide-metrics] add to add global client header to metrics * [ide-metrics] fix default value fallback * [installer] update ide-metrics configmap * [supervisor] report metrics with `x-client`