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

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

@ryanpcmcquen
Copy link
Contributor Author

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

@shadows-withal shadows-withal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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

@ryanpcmcquen
Copy link
Contributor Author

@fmoko, thanks, fixed!

@shadows-withal shadows-withal changed the title Add gitpod support. feat: Add gitpod support Jul 23, 2020
@shadows-withal shadows-withal merged commit 4821a8b into rust-lang:main Jul 23, 2020
aakshintala pushed a commit to aakshintala/rustlings that referenced this pull request Jul 26, 2020
ShakMR pushed a commit to ShakMR/rustlings that referenced this pull request Aug 18, 2020
OnunPereira pushed a commit to OnunPereira/rustlings that referenced this pull request Sep 30, 2020
palako pushed a commit to palako/rustlings that referenced this pull request Nov 8, 2020
noiffion pushed a commit to noiffion/rustlings that referenced this pull request Aug 20, 2021
bugaolengdeyuxiaoer pushed a commit to bugaolengdeyuxiaoer/rustlings that referenced this pull request Dec 28, 2021
ppp3 pushed a commit to ppp3/rustlings that referenced this pull request May 23, 2022
dmoore04 pushed a commit to dmoore04/rustlings that referenced this pull request Sep 11, 2022
Spacebody pushed a commit to Spacebody/my-rustlings that referenced this pull request Nov 18, 2022
lziegler pushed a commit to lziegler/rustlings that referenced this pull request Dec 5, 2023
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