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

Add Gitpod to the repo #1779

Merged
merged 2 commits into from
Sep 8, 2022
Merged

Add Gitpod to the repo #1779

merged 2 commits into from
Sep 8, 2022

Conversation

purkhusid
Copy link
Contributor

What?

Adds Gitpod configuration to the repo

Why?

To make it easier to start contributing to the project.

Adds Gitpod configuration to the repo

To make it easier to start contributing to the project.
@baronfel
Copy link
Contributor

baronfel commented Sep 8, 2022

Can you add a link to the gitpod url for the project to near the top of the README? I'll insta-merge as soon as it's there :)

@baronfel baronfel merged commit 54b728f into ionide:main Sep 8, 2022
@baronfel
Copy link
Contributor

baronfel commented Sep 8, 2022

Awesome 😎

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.

2 participants