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.

Sign up for GitHub

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

Jump to bottom

Add GitPod integration for quickly playgrounding with the gurmukhi-utils repo #179

Open
dsomel21 opened this issue Nov 3, 2020 · 2 comments
Open

Add GitPod integration for quickly playgrounding with the gurmukhi-utils repo #179

dsomel21 opened this issue Nov 3, 2020 · 2 comments
Assignees
@dsomel21
Labels
Effort 5 Chunky! Ensure this is the smallest that it can be split to before committing to it. Impacts Few Does not affect many end-users. □ Type Story Feature or requirement written from the user's perspective using non-technical language.

Comments

@dsomel21
Copy link
Collaborator

dsomel21 commented Nov 3, 2020 •
edited
Loading

Is your feature request related to a problem? Please describe.
Feature request is not related to a problem.

Describe the solution you'd like

  • As a user, I should be able to access the latest GitPod

Click here:
Screen Shot 2020-11-02 at 9 09 59 PM

  • As a user, all dependencies should already be installed
  • As a user, once the workplace is setup, I should be able to playground with it.

Screen Shot 2020-11-02 at 9 16 57 PM

  • As a user, if any changes or dependencies are pushed, they should be installed automatically.

Describe alternatives you've considered
N/A

Additional context
I am creating an issue inorder to keep track of this feature, as advised by the Contribution.md says:

PROTIP If there is no issue related to the work being done, then create an issue for tracking purposes.
@dsomel21 dsomel21 added the □ Type Story Feature or requirement written from the user's perspective using non-technical language. label Nov 3, 2020
@dsomel21 dsomel21 changed the title Add GitPod integration for quickly playgrounding with the gurmukhi-utils Add GitPod integration for quickly playgrounding with the gurmukhi-utils repo Nov 3, 2020
@bhajneet bhajneet added Effort 5 Chunky! Ensure this is the smallest that it can be split to before committing to it. Impacts Few Does not affect many end-users. Status: To Do □ Type Story Feature or requirement written from the user's perspective using non-technical language. and removed □ Type Story Feature or requirement written from the user's perspective using non-technical language. labels Nov 3, 2020
@saihaj saihaj moved this to Triage in Project Management Oct 24, 2021
@dsomel21
Copy link
Collaborator Author

dsomel21 commented Apr 9, 2022

I can get back on this in a little bit if it's still something that's important.

I know you can go into a GitHub repo and press . and it opens up a workspace, but you can't run anything on it... yet.

@bhajneet
Copy link
Member

bhajneet commented Apr 9, 2022

This is a cool idea, but not as impactful as a ruby port. It's up to you what you're interested in, happy to see progress on either!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dsomel21 dsomel21

Labels
Effort 5 Chunky! Ensure this is the smallest that it can be split to before committing to it. Impacts Few Does not affect many end-users. □ Type Story Feature or requirement written from the user's perspective using non-technical language.
Projects
Project Management
Status: Triage
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bhajneet @dsomel21