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

206 Commits

Author SHA1 Message Date
Christian Weichel
1cfd7759f7 [server] Respect "feature preview" feature flags 
and make the IDE image persist on the instance,
not the workspace.

/werft https
 2020-11-17 14:10:21 +01:00
Alex Tugarev
01f1503362 [db-migrations] make blocking migrations idempotent 2020-09-30 11:58:48 +02:00
Alex Tugarev
281f7137b5 [db] condense db migrations 2020-09-28 16:07:30 +02:00
Christian Weichel
6974720578 Create a default Gitpod API token for each workspace 2020-09-22 12:14:07 +02:00
Christian Weichel
9e52bbd6d8 [server] Support API access through scoped bearer tokens 2020-09-18 12:31:42 +02:00
gitpod-init
24f7b609bf initial commit 2020-08-25 09:25:15 +00:00