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

5 Commits

Author SHA1 Message Date
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