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
