archive-gh-me/gitpod
1
0
Fork 0
mirror of https://github.com/gitpod-io/gitpod.git synced 2025-12-08 17:36:30 +00:00
Code Issues Projects Releases Wiki Activity
gitpod/components/ws-manager-api/go
History
Thomas Schubart a80ee4a26b [ws-manager] Delete workspace CR on stop
2023-01-30 14:59:37 +01:00
..
config
[ws-manager-mk2] Configure health probes and leader election
2023-01-27 04:12:34 +01:00
crd/v1
[ws-manager] Delete workspace CR on stop
2023-01-30 14:59:37 +01:00
mock
Switch license to AGPL
2022-12-08 13:05:19 -03:00
BUILD.yaml
Move ws-manager-mk2 CRD to API package
2023-01-23 14:14:30 +01:00
core_grpc.pb.go
Switch license to AGPL
2022-12-08 13:05:19 -03:00
core.pb.go
Switch license to AGPL
2022-12-08 13:05:19 -03:00
exposed_ports.go
Switch license to AGPL
2022-12-08 13:05:19 -03:00
go.mod
Move ws-manager-mk2 CRD to API package
2023-01-23 14:14:30 +01:00
go.sum
Move ws-manager-mk2 CRD to API package
2023-01-23 14:14:30 +01:00