Zulip Chat Archive
Stream: FLT-regular
Topic: gitpod
Riccardo Brasca (Oct 29 2021 at 12:26):
Does someone know how to set up gitpod? If it's easy it would be nice to have it.
Eric Wieser (Oct 29 2021 at 12:34):
Yes, just copy the gitpod.yml and readme link from https://github.com/ImperialCollegeLondon/M40001_lean
Riccardo Brasca (Oct 29 2021 at 12:47):
It works perfectly, thank you!
Chris Birkbeck (Oct 29 2021 at 12:48):
What does gitpod do?
Chris Birkbeck (Oct 29 2021 at 12:52):
oh nvm I've seen the link now. That's neat :)
Riccardo Brasca (Oct 29 2021 at 12:59):
I use it if I am in front of someone else computer and I want to make a quick change to a PR, without installing everything
Riccardo Brasca (Oct 29 2021 at 12:26):
Does someone know how to set up gitpod? If it's easy it would be nice to have it.
Eric Wieser (Oct 29 2021 at 12:34):
Yes, just copy the gitpod.yml and readme link from https://github.com/ImperialCollegeLondon/M40001_lean
Riccardo Brasca (Oct 29 2021 at 12:47):
It works perfectly, thank you!
Chris Birkbeck (Oct 29 2021 at 12:48):
What does gitpod do?
Chris Birkbeck (Oct 29 2021 at 12:52):
oh nvm I've seen the link now. That's neat :)
Riccardo Brasca (Oct 29 2021 at 12:59):
I use it if I am in front of someone else computer and I want to make a quick change to a PR, without installing everything
Last updated: Dec 20 2023 at 11:08 UTC