akosyakov
bd5d3ea95b
[jb] fix #10694 : respect GW user settings
2022-06-29 14:21:37 +05:30
Victor Nogueira
853b9e7a37
Refactor 'normalizedContextURL' from WorkspaceContext as Optional
...
Because it can come null from the server, as you can see on interface WorkspaceContext from `components/gitpod-protocol/src/protocol.ts`.
2022-06-13 09:48:22 +05:30
Victor Nogueira
366c211732
Properly handle the workspace list when the workspace context ref is undefined
2022-05-31 18:14:49 +05:30
Andrea Falzetti
8f5f7b6d04
feat(jb): observe ports status and send notification
2022-05-31 02:37:48 +05:30
Yaohui Wang
83e3ef6d5e
[jb-gw]: add ref & timespan column for workspace panel
2022-03-31 15:24:14 +05:30
Anton Kosyakov
e1112966cc
[jb] track client project sessions
2022-02-21 17:53:01 +05:30
akosyakov
43928ae6b9
jb-gw: consolidate welcome and recent screens
2022-02-15 12:30:36 +01:00
Mads Hartmann
dd8b5b728a
Remove OWNERS related files
...
Fixes https://github.com/gitpod-io/ops/issues/844
2022-02-08 09:15:30 +01:00
Anton Kosyakov
bc75f05bba
increase gradle timeouts to stabilize builds
2022-02-01 10:23:23 +01:00
akosyakov
8ea50688eb
[gitpod-protocol] fix broken ws server connection in java
...
By default max incoming payload is set to 64Kb,
but the server does not really respect it. This commit aligns
limits with ws npm package.
2022-02-01 08:27:23 +01:00
Anton Kosyakov
615e8a0bbc
fixing JB backend plugin
...
- remove dependencies, since JB backend already has Kotling dependencies, and adding other version leads to runtime incompatibilities
- fix memory leak of grpc message channels
- use Kotlin koroutines instead of dedicated thread for heartbeating
- implement web socket reconnection handling for Gitpod server connection
- pin java target to v.11 in all projects
2022-01-27 10:15:19 +01:00
Anton Kosyakov
ead22e609d
[gitpod-protocol] exposing APIs required for JB integration
2022-01-27 10:15:19 +01:00
Pudong Zheng
b58cb5984b
Automatic rollout latest Jetbrains IDE
2022-01-19 22:38:12 +01:00
Cornelius A. Ludmann
75e0a8d60c
[server] Add preferences to choose a desktop IDE
2021-10-27 12:05:05 +02:00
André Duarte
acee90361c
Create intellij-backend-plugin
2021-10-14 09:43:01 -03:00
Christian Weichel
8efac73cba
[prow] Add labels to OWNERS files
2021-10-12 09:01:58 -03:00
Cornelius A. Ludmann
0d3202cced
[gitpod-protocol] Add Java client implementation
...
/werft no-preview
2021-10-11 09:58:58 -03:00
