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

5 Commits

Author SHA1 Message Date
mustard
95fa4439e5 [gp-cli] provide workspace class info in top command 2022-08-30 10:25:14 +02:00
Andrea Falzetti
131aa358ad feat(supervisor): add resource status severity 2022-08-17 13:35:33 +02:00
Andrea Falzetti
7d717e07b4 chore(gitpod-cli): align thresholds with jetbrains 2022-08-12 15:27:29 +02:00
Andrea Falzetti
8dad2f139d feat(gp-cli): allow disabling output colorization 2022-06-15 22:54:25 +05:30
Andrea Falzetti
f5eaee97fa feat(gitpod-cli): add top cmd 2022-06-13 22:45:23 +05:30