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

11 Commits

Author SHA1 Message Date
Jean Pierre
f77220f441
Add ide versions in ide-service (#19513) 2024-03-07 17:54:17 +02:00
Jean Pierre
c402032d0c
Update protobufjs lib (#18605) 2023-08-29 19:54:55 +02:00
Gero Posmyk-Leinemann
cc52d25280
Upgrade yarn packages (#18128) 
* [ts] Pin mimimatch and minimist

* [server] Update minio

* [ts] Remove superfluous node-pre-gyp dep

* [ts] Pin jsonwebtoken to 9.0.0

* [grpc] Update grpc-toolsis

* [ts] Upgrade from mocha-typescript to  @testdeck/mocha

* fix rimraf
 2023-07-03 14:47:19 +08:00
Filip Troníček
83e56d54d5
Add the Browser Terminal as an IDE (#17196) 
* Add xterm as an IDE

* Move the IDE to our GCP registry 🎉

* Also resolve the source code commit for IDEs in `ide-service`

* Add feature flag

* Xterm => terminal

* Revert "Also resolve the source code commit for IDEs in `ide-service`"

This reverts commit 06aee00959c24469e6fae904394badd4660dd97b.

* always add `<iframe>` to the top of `<body>`

* Add the next non-jb IDE :)

* Add latest image

* Filter out IDEs on the backend (#17324)

* Address review comments

Never mutate `s.ideConfig` itself and make an in-memory copy of it to not use it every time.

* Pre-compute outside

* Stringify config instead of options
 2023-04-24 19:42:45 +08:00
Sven Efftinge
ecfbfd3580
[server] use options from last instances on start (#17298) 2023-04-22 00:41:42 +08:00
Andrea Falzetti
50caba2cda add run-gp layer to certain users 
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Victor Nogueira <victor@gitpod.io>
 2022-12-20 09:22:29 -03:00
Anton Kosyakov
088cf8afd4 [ide-service] provide user id for configcat feature flags 2022-12-19 07:47:28 -03:00
Pudong Zheng
dee9e1175c [server] add retry middleware for ide-service 2022-12-16 05:18:25 -03:00
Christian Weichel
478a75e744 Switch license to AGPL 2022-12-08 13:05:19 -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
49e16554d0 [ide-service-api] using better grpc generator 2022-09-27 10:40:27 +02:00