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

8 Commits

Author SHA1 Message Date
Pudong Zheng
d9955ccc74 Add SSH Gateway to ws-proxy 2022-01-06 17:29:00 +01:00
Victor Nogueira
f85494006d [supervisor] Provide port Name and Description along with the port status 2021-12-20 18:42:44 +01:00
Manuel Alejandro de Brito Fontes
a30a1bff48 Add ExposedPorts message and remove Target and GlobalPort 2021-11-05 10:33:03 +01:00
Manuel Alejandro de Brito Fontes
5cd1a4e267 Update graddle dependencies 2021-11-02 15:50:10 +01:00
Manuel Alejandro de Brito Fontes
9b90bd5f6b Update protoc generated code 2021-11-02 15:50:10 +01:00
Cornelius A. Ludmann
19dcaa45d8 [supervisor] Add desktop IDE backend support 
/werft with-clean-slate-deployment
 2021-10-27 12:49:04 +02:00
André Duarte
acee90361c Create intellij-backend-plugin 2021-10-14 09:43:01 -03:00
Cornelius A. Ludmann
79542d659c [supervisor-api] Add Java gRPC API 
/werft no-preview
 2021-10-11 05:44:57 -03:00