mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [wsman-mk2] Emit workspace events * [installer] Permissions for events * [ws-man-mk2] Emit snapshot events * [installer] Update render tests * [wsman-mk2] Include review comments
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.