close
The Wayback Machine - https://web.archive.org/web/20220103165912/https://github.com/rust-lang/rustlings/pull/473
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

feat: Add gitpod support #473

Merged
merged 39 commits into from Jul 23, 2020
Merged

feat: Add gitpod support #473

merged 39 commits into from Jul 23, 2020

Conversation

@ryanpcmcquen
Copy link
Contributor

@ryanpcmcquen ryanpcmcquen commented Jul 20, 2020

We could also add a link to the browser section if the repl.it version gets merged.

@ryanpcmcquen
Copy link
Contributor Author

@ryanpcmcquen ryanpcmcquen commented Jul 20, 2020

Here's the markdown for the Gitpod badge:
[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/#https://github.com/rust-lang/rustlings)

Copy link
Member

@diannasoreil diannasoreil left a comment

Looks good, but we usually indent YAML files with 2 spaces instead of 4. Could you change that?

@ryanpcmcquen
Copy link
Contributor Author

@ryanpcmcquen ryanpcmcquen commented Jul 23, 2020

@fmoko, thanks, fixed!

@diannasoreil diannasoreil changed the title Add gitpod support. feat: Add gitpod support Jul 23, 2020
@diannasoreil diannasoreil merged commit 4821a8b into rust-lang:main Jul 23, 2020
aakshintala added a commit to aakshintala/rustlings that referenced this issue Jul 26, 2020
ShakMR added a commit to ShakMR/rustlings that referenced this issue Aug 18, 2020
OnunPereira pushed a commit to OnunPereira/rustlings that referenced this issue Sep 30, 2020
palako added a commit to palako/rustlings that referenced this issue Nov 8, 2020
jfchevrette added a commit to jfchevrette/rustlings that referenced this issue Jan 21, 2021
mycroft added a commit to mycroft/rustlings that referenced this issue Jun 6, 2021
noiffion added a commit to noiffion/rustlings that referenced this issue Aug 20, 2021
BobbyByrne added a commit to BobbyByrne/rustlings that referenced this issue Dec 1, 2021
bugaolengdeyuxiaoer pushed a commit to bugaolengdeyuxiaoer/rustlings that referenced this issue Dec 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants