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

6 Commits

Author SHA1 Message Date
Christian Weichel
478a75e744 Switch license to AGPL 2022-12-08 13:05:19 -03:00
Andrea Falzetti
4939e4633a chore: move to ide-service jetbrains warmup logic 2022-12-06 06:58:16 -03:00
Pudong Zheng
9c835a1da6 [ide-service] only add warm task when workspace type is prebuild 2022-12-02 10:26:01 -03:00
Pudong Zheng
93a68d38d7 chore: extracting ide-service from server 
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Victor Nogueira <victor@gitpod.io>
Co-authored-by: Andrea Falzetti <andrea@gitpod.io>
 2022-12-02 07:17:01 -03:00
Pudong Zheng
0c63ab95de move ide config type define to ide-service-api 2022-09-21 11:18:22 +02:00
mustard
3b65137a7b [ide-service] add IDE service server component 2022-09-14 09:50:15 +02:00