Mrugesh Mohapatra
bc46c683ad
fix(GitPod): add PR comments back to config
...
GitPod says they have rolled out a fix - trying it out. Will revert if this doesn't work
2021-04-22 19:54:15 +05:30
Shaun Hamilton
225d9c061d
feat(gitpod): prevent port notification, remove pr comment ( #41656 )
2021-03-30 13:25:30 +05:30
Mrugesh Mohapatra
b5f4754e2a
fix: re-revert the API decoupling ( #41263 )
...
* fix(api): decouple api from curriculum
This reverts commit 8f0e441644
and
introduces the implementations from #40703 .
* fix(gitpod): add curriculum build to GitPod
This reverts commit 706d70f58d
and
introduces implementations from #41234 .
* docs: update DevOps manual for api change (#41259 )
Co-authored-by: Oliver Eyton-Williams <ojeytonwilliams@gmail.com>
2021-02-25 12:02:35 -08:00
Mrugesh Mohapatra
706d70f58d
revert(gitpod): add curriculum build to GitPod
...
This reverts commit aa9db73e12
via PR #41234
2021-02-25 03:40:09 +05:30
Shaun Hamilton
aa9db73e12
fix(gitpod): add curriculum build to GitPod ( #41234 )
...
* fix(gitpod): add curriculum build to GitPod
Co-authored-by: Oliver Eyton-Williams <ojeytonwilliams@gmail.com>
2021-02-23 16:33:06 +01:00
Mrugesh Mohapatra
7f8e0592c8
fix(tools): remove gitpod checks from the PR ( #41170 )
2021-02-18 21:02:49 +05:30
Shaun Hamilton
850a1a2271
feat(dev): add Cypress and Puppeteer to GitPod ( #40862 )
2021-02-05 11:14:02 +05:30
Kartik Soneji
86f9087444
feat(gitpod): Add env variables to .bashrc so they can be accessed globally ( #39296 )
...
* feat(gitpod): Add env variables to .profile so they can be accessed globally.
2020-07-23 16:22:09 +02:00
Twaha Rahman
597ceba27f
chore: add ESLint extension in .gitpod.yml ( #38879 )
2020-05-25 13:47:48 +05:30
Jan Keromnes
e9d753fc09
fix(tools): fix and accelerate automated gitpod dev setup ( #36720 )
...
* fix(tools): switch to official gitpod mongodb image
* fix(tools): accelerate gitpod start-up by prebuilding the client
* fix(tools): accelerate gitpod start-up by continuously prebuilding workspaces
* fix(tools): add setup|automated badge with new fork-compatible gitpod url
2019-08-30 15:12:13 +05:30
Sven Efftinge
769a67211f
fix(tools): integrate gitpod for development workflow ( #36302 )
2019-08-06 21:28:07 +05:30