Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Create .gitpod.yml #6070

Merged
merged 1 commit into from
Aug 26, 2022
Merged

Create .gitpod.yml #6070

merged 1 commit into from
Aug 26, 2022

Conversation

ferrine
Copy link
Member

@ferrine ferrine commented Aug 26, 2022

Adding gitpod workspace integration that works really great if you do not to set up local environment. You just open gitpod workspace like this:

https://gitpod.io/#https://github.com/pymc-devs/pymc/tree/gitpod

For open source community there is a free plan

https://www.gitpod.io/blog/gitpod-for-opensource

Add gitpod workspace integration
@canyon289 canyon289 merged commit 8ddc05d into main Aug 26, 2022
@ferrine ferrine mentioned this pull request Aug 26, 2022
@ferrine ferrine deleted the gitpod branch August 26, 2022 15:00
@maresb
Copy link
Contributor

maresb commented Aug 26, 2022

This looks pretty cool. I've been doing a bunch of devcontainer stuff myself lately.

Startup is pretty slow, but we could use mamba, or even better, prebuild a Docker image...

Also, I was running stuff localy, but just discovered GitHub Codespaces, but Gitpod looks even better since it seems independent.

@ferrine
Copy link
Member Author

ferrine commented Aug 30, 2022

I tried to optimize the startup but did not spend too much time on it. The docker startup should be great

@maresb
Copy link
Contributor

maresb commented Aug 30, 2022

I have a base image which should be pretty much perfect for this case. I'll see if I can get this running smoothly over the weekend.

@rowan-schaefer
Copy link
Contributor

Awesome! 🙌 If we need contributing docs explaining usage I can help with that

@twiecki
Copy link
Member

twiecki commented Sep 16, 2022

@rowangayleschaefer That'd be great!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants