Remove supervisor gRPC metrics and process metrics

[iQQBot]

Description

Remove supervisor gRPC metrics and process metrics, because we don't interested supervisor metrics context

Related Issue(s)

Fixes #

How to test

1. start a workspace
2. run curl http://localhost:22999/metrics it should be emply
3. run echo "gitpod_some_metric 3.14" | curl --data-binary @- http://localhost:22999/metrics/job/some_job
4. run curl http://localhost:22999/metrics again it should be only have gitpod_some_metric and pushgateway metrics

Release Notes

NONE

Documentation

[iQQBot]

/werft run

👍 started the job as gitpod-build-pd-del-grcp-metrics.1
(with .werft/ from main)

[andreafalzetti]

To help me understand better, in this PR we introduced the metrics but we are now removing them. If I understand correctly, we are only removing a subset of the metrics (gRPC metrics and process metrics) but we are keeping some?

What type of metrics are we keeping?

[mustard-mh]

To help me understand better, in #9815 we introduced the metrics but we are now removing them. If I understand correctly, we are only removing a subset of the metrics (gRPC metrics and process metrics) but we are keeping some?
What type of metrics are we keeping?

@andreafalzetti See also gitpod-io/observability#121 (comment) we delete it because we are not interesting with it and the storage is expensive

[mustard-mh]

Works like a charm XD

[mustard-mh]

/hold

[mustard-mh]

Ohhh Tide, hold too late😞

Too fast when you want to hold, too slow (even pending pool) when you want to merge

[mustard-mh]

See also internal chat @andreafalzetti