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

3 Commits

Author SHA1 Message Date
Leo Di Donato
948b0a572e chore: fix todo 
Signed-off-by: Leonardo Di Donato <leodidonato@gmail.com>

Co-authored-by: Christian Weichel <chris@gitpod.io>
 2021-07-26 18:26:30 +02:00
Leonardo Di Donato
fcbfdd3c0d doc(components/proxy/plugins): licenses 
Signed-off-by: Leonardo Di Donato <leodidonato@gmail.com>
 2021-07-26 18:26:30 +02:00
Leonardo Di Donato
3a65c86da5 new(components/proxy/plugins): jsonselect log encoder plugin 
Signed-off-by: Leonardo Di Donato <leodidonato@gmail.com>
 2021-07-26 18:26:30 +02:00