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

5 Commits

Author SHA1 Message Date
Milan Pavlik
daba3bbaf9 [public-api] Remove gp-lint 2022-05-03 13:00:18 +05:30
Christian Weichel
739dd4c589 [public-api] Add and enforce application-level error status 2022-03-26 15:31:09 +05:30
Christian Weichel
bb3d9c7b8b [public-api] Add linting 2022-03-26 15:31:09 +05:30
Christian Weichel
6af2334832 [public-api] First workspaces draft 2022-03-26 15:31:09 +05:30
Christian Weichel
0585ad0f36 [public-api] Initial scaffolding 2022-03-26 15:31:09 +05:30