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

3 Commits

Author SHA1 Message Date
Christian Weichel
b7dda84ad0 [license] Update license header from TypeFox GmbH to Gitpod GmbH 2021-01-04 15:12:02 +01:00
Christian Weichel
99dbdff7c9 [ws-proxy] Add missing license header 
/werft no-preview
 2020-12-01 10:18:07 +01:00
Christian Weichel
c2607e500b [ws-proxy] Wait for workspace info until the request is canceled 2020-11-27 12:04:44 +01:00