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

3 Commits

Author SHA1 Message Date
mustard
f4ea3a56a1 Revert "Revert "[supervisor] use public api in supervisor"" 
This reverts commit 44dfc5e19be3b89d96ab25f2f83476d57aa7b8ef.
 2022-12-12 09:05:22 -03:00
Huiwen
44dfc5e19b Revert "[supervisor] use public api in supervisor" 
This reverts commit f3fcfbf003425f947bf3a0a28e452709623b6d74.
 2022-12-09 08:21:19 -03:00
mustard
f3fcfbf003 [supervisor] use public api in supervisor 
Co-authored-by: mustard <mhqnwt@gmail.com>
Co-authored-by: Anton Kosyakov <anton@gitpod.io>
Co-authored-by: Jean Pierre <jeanp413@hotmail.com>
Co-authored-by: iQQBot <tianshi8650@gmail.com>
 2022-12-08 17:48:18 -03:00