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

10 Commits

Author SHA1 Message Date
Milan Pavlik
daba3bbaf9 [public-api] Remove gp-lint 2022-05-03 13:00:18 +05:30
Milan Pavlik
d2bdfa9a1c [public-api] Fix codegen 2022-04-28 16:58:14 +05:30
Christian Weichel
de3abf2089 [public-api] Draft more of the prebuild API 2022-03-26 15:31:09 +05:30
Christian Weichel
739dd4c589 [public-api] Add and enforce application-level error status 2022-03-26 15:31:09 +05:30
Christian Weichel
486da4e964 [public-api] Make owner token access explicit 2022-03-26 15:31:09 +05:30
Christian Weichel
19f93d9115 [public-api] Extend workspace context 2022-03-26 15:31:09 +05:30
Christian Weichel
f5011cb6e2 [public-api] Better workspace instance support 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