gitpod/components/ws-manager-api
Manuel Alejandro de Brito Fontes 687f337899
Enable leader election in ws-manager-mk2 (v3) (#18539)
* Enable leader election in ws-manager-mk2

* Update go modules

* Move workspace activity to CRD

* Remove workspace activity

* Cleanup

* Update ws-manager-mk2 CRD

* Cleanup

* Restore lastActivity logic

* TEST

* Disable observability

* Start the grpc server after leader election

* Bount the source of subscribers to an informer

* Cleanup

* Avoid deepCopy

* Remove goroutine to execute OnReconcile

* Refactor last activity to be consistent acrtoss the controllers

* Address feedback
2023-08-26 22:28:52 +02:00
..
2023-08-07 17:04:33 +02:00
2021-06-04 16:26:37 -04:00
2023-07-27 22:24:29 +08:00

Overview

The ws-manager-api component hosts the api component of ws-manager.

Making changes to the api

First, make sure those changes are really neccesary. We want to keep the interface as trim as possible. To make changes, edit core.proto ideally in a backwards compatible manner. Then run ./generate.sh in this directory to re-generate the GO and TypeScript protocol implementations.