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

160 Commits

Author SHA1 Message Date
Christian Weichel
e6bc8961dd [code] Adapt to supervisor port API changes 2020-11-25 15:59:36 +01:00
Anton Kosyakov
53774b6f2f [theia] fix #2159: support gitpod task terminal process 2020-11-16 11:51:34 +01:00
Anton Kosyakov
1155de0754 [supervisor] fix #2092: handle gracefully ide restart 2020-11-11 11:38:20 +01:00
Alex Tugarev
1cf53d5137 [gp-code] checkout particular sha revision of gp-code 2020-11-06 15:26:26 +01:00
Anton Kosyakov
966c8e8340 bump up code to use latest ports APIs 2020-11-04 05:50:23 +01:00
Anton Kosyakov
75b97c7a6d [supervisor] tasks support 2020-10-14 11:14:31 +02:00
Anton Kosyakov
d8f3229b0a integrate supervisor into code 2020-10-12 13:00:29 +02:00
Anton Kosyakov
f238d479f5 pin gp-code commit to avoid pulling latest changes accidentally 2020-09-30 10:15:15 +02:00
Anton Kosyakov
7fc7fbd828 [supervisor/frontend] support loading screen 2020-09-14 10:01:00 +02:00
Anton Kosyakov
da278d55ba [ide/code] initial image 
Signed-off-by: Anton Kosyakov <anton.kosyakov@typefox.io>
 2020-09-14 10:01:00 +02:00