gitpod/ide-metrics-api at 2a1fa15e0138a937fa8f21115fea7384efb1c65c - gitpod - Gitea: Git with a cup of tea

archive-gh-me/gitpod

mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00

History

Pudong Zheng 2a1fa15e01 [ide-metrics] add reportLog proto

2022-09-07 10:54:22 +02:00

..

[ide-metrics] add reportLog proto

2022-09-07 10:54:22 +02:00

[ide-metrics] add reportLog proto

2022-09-07 10:54:22 +02:00

third_party/google/api

Add ide-metrics http endpoint

2022-08-23 12:40:40 +02:00

typescript-grpc

Add ide-metrics http endpoint

2022-08-23 12:40:40 +02:00

typescript-grpcweb

[code-browser] extensions observability

2022-09-05 12:35:20 +02:00

.gitignore

Add IDE metrics server grpc api

2022-08-05 07:52:49 -03:00

BUILD.yaml

Add ide-metrics http endpoint

2022-08-23 12:40:40 +02:00

generate.sh

Add ide-metrics http endpoint

2022-08-23 12:40:40 +02:00

go.mod

Add IDE metrics server grpc api

2022-08-05 07:52:49 -03:00

go.sum

Add IDE metrics server grpc api

2022-08-05 07:52:49 -03:00

idemetrics.proto

[ide-metrics] add reportLog proto

2022-09-07 10:54:22 +02:00