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

13 Commits

Author SHA1 Message Date
Christian Weichel
478a75e744 Switch license to AGPL 2022-12-08 13:05:19 -03:00
Manuel Alejandro de Brito Fontes
000cadead8 Update grpc code 2022-10-04 15:17:22 +02:00
Anton Kosyakov
008ea3fadc [jb] prepare to split backend and plugin images 2022-08-30 09:36:14 +02:00
Manuel Alejandro de Brito Fontes
ab0d69cfea Update generated code 2022-04-25 15:52:37 +05:30
Manuel Alejandro de Brito Fontes
a30a1bff48 Add ExposedPorts message and remove Target and GlobalPort 2021-11-05 10:33:03 +01:00
Manuel Alejandro de Brito Fontes
9b90bd5f6b Update protoc generated code 2021-11-02 15:50:10 +01:00
Cornelius A. Ludmann
56fe86ff90 [registry-facade] Add desktop_ide_ref 2021-10-26 15:02:04 +02:00
Manuel Alejandro de Brito Fontes
1569e1a3ba Update generated code 2021-04-07 07:39:04 -04:00
Manuel Alejandro de Brito Fontes
9b17cdb586 Update registry-facade 2021-03-12 12:54:40 -03:00
Christian Weichel
b7dda84ad0 [license] Update license header from TypeFox GmbH to Gitpod GmbH 2021-01-04 15:12:02 +01:00
Christian Weichel
012e34ad76 [license-header] Re-apply license header 2020-09-04 14:12:06 +02:00
Christian Weichel
757c19a935 [registry-facade] Move from theia version to IDE image 
This move allows us to specify an IDE docker image at workspace startup,
rather than just selecting from a fixed set of Theia images.
 2020-09-04 14:12:06 +02:00
gitpod-init
24f7b609bf initial commit 2020-08-25 09:25:15 +00:00