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
8,956 Commits 1,231 Branches 1,883 Tags
Commit Graph

9 Commits

Author SHA1 Message Date
mustard
e82fe80af9 [public-api] add workspaceStatus stream rpc 2023-01-09 10:59:48 +01:00
Milan Pavlik
9237708176 [public-api] Define DeleteWorkspace 2023-01-04 10:15:43 +01:00
Milan Pavlik
10969f54db [public-api] Make StopWorkspace a unary RPC 2022-12-19 20:05:29 -03:00
Christian Weichel
478a75e744 Switch license to AGPL 2022-12-08 13:05:19 -03:00
mustard
42d6129d12 [public-api] define endpoints for ports and git token 2022-12-06 12:37:16 -03:00
Jean Pierre
cd144de51f Add IDEClientService 2022-11-17 07:07:46 +02:00
Jean Pierre
5c8f4c1f32 User service 2022-11-12 11:34:42 +02:00
Milan Pavlik
2926d142ed [public-api] Make publiic api package match path 2022-11-09 09:42:39 +01:00
Milan Pavlik
2d888a5ded [public-api] Move API definitions to experimental package 2022-10-19 17:23:34 +02:00